john.j.camilleri 596cd4d473 Syntax editor: internal optimizations by pre-computing certain stuff

2012-11-30 15:08:46 +00:00

..

compiler

gf -server + gfse: show modification time of public grammars

2012-11-23 23:21:17 +00:00

example-based

example-based: bug fix: apply UTF-8 decoding to CGI inputs

2011-11-21 15:15:49 +00:00

runtime

PGFService.hs: fix type error caused by change to PGF.graphvizParseTree

2012-11-22 15:27:16 +00:00

server

PGFService.hs: fix type error caused by change to PGF.graphvizParseTree

2012-11-22 15:27:16 +00:00

tools

Created a new page documenting available editor modes for GF

2011-09-20 12:41:32 +00:00

ui

fix the grammar browser in the editor

2011-03-08 12:32:51 +00:00

www

Syntax editor: internal optimizations by pre-computing certain stuff

2012-11-30 15:08:46 +00:00