| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-10-30 | added the linref construction in GF. The PGF version number is now bumped | kr.angelov | |
| 2012-11-23 | gf -server: support overloaded opers in gfse | hallgren | |
| 2012-10-09 | gf -server: /parse command now supports input with character codes > 255 | hallgren | |
| This enables the use of arbitrary Unicode character in text mode in GFSE. | |||
| 2012-10-03 | gfse: some refactoring | hallgren | |
| 2012-02-27 | gfse: text mode improvements | hallgren | |
| + 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-24 | gfse: text mode editing: accept grammars with printname judgements | hallgren | |
| But printname judgements are ignored for now. Also fixed an UTF-8 encoding bug when parsing uploaded grammars in gf -server mode. | |||
| 2012-02-22 | gfse: experimental support for editing concrete syntax in text mode | hallgren | |
| 2012-02-21 | gfse: edit abstract syntax in text mode with instant syntax error reporting | hallgren | |
| This is an experimental feature. It requires server support for parsing and is thus not available while offline, unlike most other editing functionality. | |||
