hallgren b318509528 More functionality in "gf -server" mode ...

"gf -server" mode now includes PGF service and the services to support
example-based grammar writing. (But gf -server is not quite ready to replace
pgf-http yet...) 

Also bumped GF version number to 3.2.10-darcs

2011-10-10 16:16:16 +00:00

..

compiler

More functionality in "gf -server" mode

2011-10-10 16:16:16 +00:00

editor/simple

More functionality in "gf -server" mode

2011-10-10 16:16:16 +00:00

example-based

More functionality in "gf -server" mode

2011-10-10 16:16:16 +00:00

runtime

fix in the proof search. when we start the generation from a template, we must start the refinement from the expression that the typecheker generated

2011-09-21 13:30:09 +00:00

server

More functionality in "gf -server" mode

2011-10-10 16:16: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