gf-core.git/src/www/gfse/about.html, branch optimize Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2012-10-09T14:54:50+00:00 gfse: adding a section about public grammars in about.html 2012-10-09T14:54:50+00:00 hallgren hallgren@chalmers.se 2012-10-09T14:54:50+00:00 urn:sha1:be84d37c41bafb11c277ad15de041dee9f4a6577 gfse and cloud service documentation update 2012-10-02T17:32:52+00:00 hallgren hallgren@chalmers.se 2012-10-02T17:32:52+00:00 urn:sha1:a47d2da44811601c70a662892a8ee2480235ceee GF home page: link to GF clouds service (cloud.grammaticalframework.org) 2012-06-11T15:34:16+00:00 hallgren hallgren@chalmers.se 2012-06-11T15:34:16+00:00 urn:sha1:5db5c8a2035ce257c90022deaced7b17029474da Also some small cloud service documentation updates. gfse: fix bugs and typos 2011-11-28T16:36:51+00:00 hallgren hallgren@chalmers.se 2011-11-28T16:36:51+00:00 urn:sha1:70d292d83b33395ea0313a970461a1af61b508d0 Improvements of "gf -server" mode and related setup 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.