7 Commits

Author	SHA1	Message	Date
hallgren	ba9db76063	gf -server: support overloaded opers in gfse	2012-11-23 19:59:39 +00:00
hallgren	aaae3aecd4	gf -server: /parse command now supports input with character codes > 255 ... This enables the use of arbitrary Unicode character in text mode in GFSE.	2012-10-09 13:14:18 +00:00
hallgren	edc51c6a2f	gfse: some refactoring	2012-10-03 13:22:50 +00:00
hallgren	6191dc4f51	gfse: text mode improvements ... + 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-27 16:50:06 +00:00
hallgren	fc784e92df	gfse: text mode editing: accept grammars with printname judgements ... But printname judgements are ignored for now. Also fixed an UTF-8 encoding bug when parsing uploaded grammars in gf -server mode.	2012-02-24 17:12:38 +00:00
hallgren	39c1b5a5fa	gfse: experimental support for editing concrete syntax in text mode	2012-02-22 16:30:42 +00:00
hallgren	b35b48a701	gfse: edit abstract syntax in text mode with instant syntax error reporting ... This is an experimental feature. It requires server support for parsing and is thus not available while offline, unlike most other editing functionality.	2012-02-21 16:58:18 +00:00