hallgren 4d526b152a gfse: matching colors in cloud download/upload icons

2012-08-02 12:12:59 +00:00

..

P

gfse: matching colors in cloud download/upload icons

2012-08-02 12:12:59 +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

gfse: matching colors in cloud download/upload icons

2012-08-02 12:12:59 +00:00

example_based.js

gfse: layout fix

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

gf_abs.js

translator: documents can now be saved in the cloud

2012-06-12 15:36:41 +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/sort.js: make it more resusable

2012-06-21 15:39:31 +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/sort.js: make it more resusable

2012-06-21 15:39:31 +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