gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/src/editor/simple/cloud.js

Age	Commit message (Collapse)	Author
2011-10-12	Improvements of "gf -server" mode and related setup	hallgren
	"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-10	gfse: make it workw ith "gf -server" cloud services	hallgren

2011-10-10	More functionality in "gf -server" mode	hallgren
	"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-29	gfse: some correctness checks for concrete syntax	hallgren
	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-29	gfse: refactoring	hallgren
	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.