hallgren 03f3baeba3 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

..

P

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

about.html

gfse: fix bugs and typos

2011-11-28 16:36:51 +00:00

cloud2.js

gfse: edit abstract syntax in text mode with instant syntax error reporting

2012-02-21 16:58:18 +00:00

cloud.js

gfse: bug fix: syntax check in concrete syntax wasn't working

2012-02-10 13:38:24 +00:00

editor.css

gfse: text mode tweaks

2012-02-24 15:16:37 +00:00

editor.js

gfse: text mode editing: accept grammars with printname judgements

2012-02-24 17:12:38 +00:00

example_based.js

gfse: layout fix

2012-02-22 16:45:46 +00:00

gf_abs.js

gfse: text mode tweaks

2012-02-24 15:16:37 +00:00

gfse.manifest

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

grammars.cgi

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

index.html

gfse: better integration of the minibar

2012-02-13 17:31:39 +00:00

localstorage.js

gfse: documentation update

2011-11-01 17:45:01 +00:00

Makefile

Bug fixes for gf -server mode and setup

2011-10-12 18:27:46 +00:00

molto.css

gfse: style sheet fixes

2012-02-16 16:17:34 +00:00

save.hs

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

share.html

gfse & minibar: small fixes

2012-02-13 18:11:46 +00:00

slideshow.js

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

TODO

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

upload.cgi

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00