diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-24 17:12:38 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-24 17:12:38 +0000 |
| commit | 03f3baeba3e4921446846828a2974e81e766f934 (patch) | |
| tree | be14419a0a3d2e27f6a2f707ed57d603f065397e /src/compiler/SimpleEditor/Syntax.hs | |
| parent | 92aa961205b84d89184a954b1050d4bc31f2f568 (diff) | |
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.
Diffstat (limited to 'src/compiler/SimpleEditor/Syntax.hs')
0 files changed, 0 insertions, 0 deletions