gf-core.git/src/runtime/javascript/minibar/pgf_offline.js, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2011-10-12T17:03:54+00:00 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. minibar: adding pgf_offline.js 2011-08-16T16:29:51+00:00 hallgren hallgren@chalmers.se 2011-08-16T16:29:51+00:00 urn:sha1:4cad2daa299eeada33be819d3239ef6334147fd0 This file exports the same PGF runtime interface as pgf_online.js but calls the hs2js translation of the PGF runtime library (which is not included in darcs).