7 Commits

Author	SHA1	Message	Date
hallgren	22a2945d02	Minibar documentation update ... Document recent additions in minibar/about.html.	2012-04-19 12:36:03 +00:00
hallgren	1fed3349f7	gfse & minibar: minor style adjustments	2012-02-29 17:37:13 +00:00
hallgren	4ae34abd04	gf -server: update start page, add links to some documentation	2012-02-29 17:05:45 +00:00
hallgren	0e06a04f1a	gfse & minibar: small fixes	2012-02-13 18:11:46 +00:00
hallgren	a6acb994e8	gfse&minibar: select the right grammar in minibar when invoked from gfse ... The grammar that the user is currently working is now the one shown initially in minibar, instead of the first grammar in alphabetical order. Also GFServer.hs now removes absolute paths to the grammar files on the server in error messages from GF returned to to gfse.	2012-02-10 15:24:59 +00:00
hallgren	5e867cec29	minibar: adding a start category menu ... + The start category menu can be turned off by passing the option {startcat_menu:false} when starting the minibar. + Documentation updates.	2011-10-18 15:21:49 +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