53 Commits

Author	SHA1	Message	Date
hallgren	d63724ed50	minibar: add a button to show some grammar info	2011-10-18 14:34:00 +00:00
hallgren	8266df8f58	Bug fixes for gf -server mode and setup	2011-10-12 18:27:46 +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