hallgren 5db5c8a203 GF home page: link to GF clouds service (cloud.grammaticalframework.org) ...

Also some small cloud service documentation updates.

2012-06-11 15:34:16 +00:00

..

P

Improvements of "gf -server" mode and related setup

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

about.html

GF home page: link to GF clouds service (cloud.grammaticalframework.org)

2012-06-11 15:34:16 +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

GF home page: link to GF clouds service (cloud.grammaticalframework.org)

2012-06-11 15:34:16 +00:00

editor.js

Integrate Japanese

2012-05-15 13:11:32 +00:00

example_based.js

gfse: layout fix

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

gf_abs.js

gfse: recognize Predef categories Int, Float and String

2012-02-27 17:18:05 +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: show an informative error message in browsers that lack support for localStorage

2012-03-29 14:11:38 +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

sort.js

gfse: add missing file sort.js to the repository

2012-02-29 16:36:28 +00:00

TODO

GFServer.hs: apply UTF8 encoding when saving uploaded files

2012-05-28 11:21:30 +00:00

upload.cgi

Improvements of "gf -server" mode and related setup

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