3 Commits

Author	SHA1	Message	Date
hallgren	f2751ff9e1	Fixes for minibar offline ... Tested it in Firefox 18 (which has the new Ionmonkey JavaScript engine). Still get stack overflows.	2013-01-09 16:44:18 +00:00
hallgren	c10bd79e26	minibar_offline: Update the API exported by pgf_offline.js to be compatible with pgf_online.js ... This makes the minibar offline demo work again.	2012-04-30 13:53:55 +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