Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2013-04-03T20:24:57+00:00 2013-04-03T20:24:57+00:00 hallgren hallgren@chalmers.se 2013-04-03T20:24:57+00:00 urn:sha1:a22a419bc7ea0dc45f9965e6ffebf42417212d52 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. 2012-02-13T18:11:46+00:00 hallgren hallgren@chalmers.se 2012-02-13T18:11:46+00:00 urn:sha1:b01d7c341cee48d2627d85d373a107eecd4496fc 2011-10-12T18:27:46+00:00 hallgren hallgren@chalmers.se 2011-10-12T18:27:46+00:00 urn:sha1:8266df8f5898ea8c3a6a5179e905f8a2c5c950a7 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.