| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-10-12 | Improvements of "gf -server" mode and related setup | hallgren | |
| "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-08-16 | minibar: adding pgf_offline.js | hallgren | |
| 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). | |||
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |