| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-03-22 | pgf_online.js: error callbacks | hallgren | |
| To enable customized error handling, the methods in the pgf_online objects and the AJAX server call functions in support.js accept an error callback function as an extra argument, in addition to the callback (continuation) for normal results. | |||
| 2012-02-22 | gfse: some refactoring | hallgren | |
| 2011-10-18 | minibar: add a button to show some grammar info | hallgren | |
| 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. | |||
