summaryrefslogtreecommitdiff
path: root/src/compiler/SimpleEditor
AgeCommit message (Collapse)Author
2012-11-23gf -server: support overloaded opers in gfsehallgren
2012-10-09gf -server: /parse command now supports input with character codes > 255hallgren
This enables the use of arbitrary Unicode character in text mode in GFSE.
2012-10-03gfse: some refactoringhallgren
2012-02-27gfse: text mode improvementshallgren
+ Preserve the startcat flag. + Preserve judgement order when possible (GF's parser does not preserve order and does not record exact source locations, only line numbers)
2012-02-24gfse: text mode editing: accept grammars with printname judgementshallgren
But printname judgements are ignored for now. Also fixed an UTF-8 encoding bug when parsing uploaded grammars in gf -server mode.
2012-02-22gfse: experimental support for editing concrete syntax in text modehallgren
2012-02-21gfse: edit abstract syntax in text mode with instant syntax error reportinghallgren
This is an experimental feature. It requires server support for parsing and is thus not available while offline, unlike most other editing functionality.