3 Commits

Author	SHA1	Message	Date
hallgren	5db5c8a203	GF home page: link to GF clouds service (cloud.grammaticalframework.org) ... Also some small cloud service documentation updates.	2012-06-11 15:34:16 +00:00
hallgren	70d292d83b	gfse: fix bugs and typos	2011-11-28 16:36:51 +00:00
hallgren	44d1a5a9f7	Improvements of "gf -server" mode and related setup ... "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-12 17:03:54 +00:00