summaryrefslogtreecommitdiff
path: root/src/editor
AgeCommit message (Collapse)Author
2011-10-12Improvements of "gf -server" mode and related setuphallgren
"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-11More work on support for gfse in "gf -server" modehallgren
2011-10-10gfse: make it workw ith "gf -server" cloud serviceshallgren
2011-10-10More functionality in "gf -server" modehallgren
"gf -server" mode now includes PGF service and the services to support example-based grammar writing. (But gf -server is not quite ready to replace pgf-http yet...) Also bumped GF version number to 3.2.10-darcs
2011-10-07gfse: documentation tweakshallgren
2011-10-03gfse: browser compatibility fixeshallgren
2011-10-03gfse: references to the GF book in keyword tool tips and style tweaks for ↵hallgren
example-based grammar editing
2011-09-29Example-based grammar writing: fix problems caused by the use of exprToAPIhallgren
The editor needs to keep track of both the raw term and the nice term returned by exprToAPI. (Manually constructed linearization rules will now have the raw term and can not be tested.) Also replace metavariables in generalized terms with the apropriate parameter from the linearization rule. Also fix communication problems caused by inconsistent use of show/read vs showExpr/readExpr.
2011-09-28gfse: about.html updateshallgren
2011-09-27gfse: mention example-based grammar writing in about.htmlhallgren
2011-09-27gfse: work in progress on support for example-based grammar writinghallgren
2011-09-16gfse: add Extra and Lexicon to the list of resource modules that can be openedhallgren
2011-09-13gfse: added grammar cloninghallgren
2011-08-17gfse: fix an issue with Webkit browershallgren
For lin and lincats with empty RHSs, there was nothing to point to to make the edit button (the "%" button) appear in browsers based on Webkit (Safari, Chrome).
2011-08-01gfse: added links to download PGF files for user's grammarshallgren
2011-08-01gfse: add missing file share.html to darcshallgren
Also fix bug in share.html by adding cloud.js to the list of loaded JavaScript files.
2011-07-29gfse: some correctness checks for concrete syntaxhallgren
The editor now calls the GF server to check the syntax of expressions that are part of concrete syntax (except for parameter types). This is currently done by using the cc command of the GF shell, which puts some unnecessary restricitons on operation definitions...
2011-07-29gfse: refactoringhallgren
Factor out functions that interface to the old cloud service (upload.cgi) from editor.js into cloud.js. Merge changes from editor2.js into editor.js and factor out functions that interface to gf -server into clouds2.js.
2011-07-26gfse: about: added a note that each grammar has a unique identity ↵hallgren
independent of its name
2011-07-25gfse: various small improvementshallgren
2011-07-07gfse: new section "Grammars in the cloud" in about.htmlhallgren
2011-07-07gfse: grammars in the cloud, still primitve, but good enough to be installed ↵hallgren
on the server, I think
2011-07-07gfse: grammars in the cloud, work in progresshallgren
Cloud merging: when sharing grammars between two devices that previously each had separate grammar directoies on the server, clean up one of the directories and make it a symbolic link to the other.
2011-07-06gfse: grammars in the cloud, work in progresshallgren
2011-06-08gfse: initial support for grammars in the cloudhallgren
This lets the user access the same set of grammars from multiple devices. Sharing grammars between multiple users is possible but discouraged at the moment. There is no version handling, so concurrent editing of the same grammar by different users might result in one user overwriting changes made by another user. (The same goes for cuncurrent editing on multiple devices by a single user, of course.)
2011-05-07gfse: fix a problem in browsers where "class" is a reserved keywordhallgren
2011-05-06gfse: you can now add concrete syntax for arbitrary languageshallgren
Before, you had to pick a language from a list of supported languages, but now you can also pick Other and change the language code afterwards.
2011-04-13gfse: use "gf -server" mode instead of upload.cgihallgren
Work in progress on making the online grammar editor use the new "gf -server" mode instead of the old upload.cgi script. A first benefit is that the editor now calls the server to check the syntax of lin & lincat definitions. (But the links to minibar/gfshell/quiz are not available at the moment.)
2011-03-28gfse: somewhat simplified configuration/installationhallgren
2011-03-28gfse: added an alternate style sheet with the MOLTO color schemehallgren
2011-03-09gfse: documentation fixes, links to MOLTO meeting slides and compiler API ↵hallgren
document
2011-03-07gfse: create a new concrete syntax by copying an existing onehallgren
When adding a new concrete syntax to a grammar, the currently open concrete syntax will be copied. If the abstract syntax is currently open, the new concrete syntax will start out empty.
2011-03-07gfse: link back to the editor from the upload pagehallgren
2011-03-06gfse: minor layout/formatting variationhallgren
2011-02-28gfse: fix missing startcat flag bug + documentation updateshallgren
2011-02-28gfse: fix persmission problem in upload.cgihallgren
2011-02-28gfse: include a -path flag to find rgl moduleshallgren
2011-02-28gfse: support for opening RGL moduleshallgren
2011-02-28gfse: minor documentation and style improvementshallgren
2011-02-22gfse: allow definitions to be reordered by drad-and-drophallgren
2011-02-18gfse: fix typoshallgren
2011-02-18gfse: document that grammars can be uploaded and tested in the GF shell, the ↵hallgren
minibar and the translation quiz
2011-02-18gfse: updated screen shotshallgren
2011-02-18gfse: support for linking to the translation quizhallgren
2011-02-17gfse: some small fixeshallgren
+ 'make install' to copy all required files to the server + configuration options and error checks in upload.cgi
2011-02-17Adding the prototype GF editor for simple multilingual grammarshallgren
2011-02-17Adding the prototype GF editor for simple multilingual grammarshallgren
2011-02-17Adding the prototype GF editor for simple multilingual grammarshallgren