Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2013-04-17T08:39:39+00:00 2013-04-17T08:39:39+00:00 hallgren hallgren@chalmers.se 2013-04-17T08:39:39+00:00 urn:sha1:b037fa2b327b115fb672cfee68951afd93a898f6 Add minibar option to_multiple to be able to turn off selection of multiple target languages. 2012-11-20T12:56:48+00:00 hallgren hallgren@chalmers.se 2012-11-20T12:56:48+00:00 urn:sha1:3eaeaed8fd741bb1f33c76032e7292df08b35a9f Created the folder js and moved minibar/support.js and minibar/pgf_online.js there, to emphasize their status as app independent support libraries. There are probably more files that should be moved here. The cloud apps have been updated, externally hosted apps that link directly to our server need to be updated too. 2011-10-12T17:03:54+00:00 hallgren hallgren@chalmers.se 2011-10-12T17:03:54+00:00 urn:sha1:44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad "gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete.