5 Commits

Include renames

Author	SHA1	Message	Date
hallgren	ea4ed8b4db	gfse: adding a section about public grammars in about.html	2012-10-09 14:54:50 +00:00
hallgren	a64b4a7c79	gfse and cloud service documentation update	2012-10-02 17:32:52 +00:00
hallgren	8b465dcaff	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	ebcfad5ec3	gfse: fix bugs and typos	2011-11-28 16:36:51 +00:00
hallgren	fa4af3d043	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