Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2011-10-12T17:03:54+00:00 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. 2011-10-10T19:49:17+00:00 hallgren hallgren@chalmers.se 2011-10-10T19:49:17+00:00 urn:sha1:ef079ff93964f8a7b0048352f834f36377e1900f 2011-10-10T16:16:16+00:00 hallgren hallgren@chalmers.se 2011-10-10T16:16:16+00:00 urn:sha1:04d2dc757c34d76711a237b583855e111e4486a7 "gf -server" mode now includes PGF service and the services to support example-based grammar writing. (But gf -server is not quite ready to replace pgf-http yet...) Also bumped GF version number to 3.2.10-darcs 2011-07-29T15:44:19+00:00 hallgren hallgren@chalmers.se 2011-07-29T15:44:19+00:00 urn:sha1:b58fc79908efb52320a38fdf6df96d8d0d067e73 The editor now calls the GF server to check the syntax of expressions that are part of concrete syntax (except for parameter types). This is currently done by using the cc command of the GF shell, which puts some unnecessary restricitons on operation definitions... 2011-07-29T13:45:37+00:00 hallgren hallgren@chalmers.se 2011-07-29T13:45:37+00:00 urn:sha1:7c6f6110ebf8ebf446b8414e035b1118908d5bed Factor out functions that interface to the old cloud service (upload.cgi) from editor.js into cloud.js. Merge changes from editor2.js into editor.js and factor out functions that interface to gf -server into clouds2.js.