hallgren 6142258302 gfse: mention example-based grammar writing in about.html

2011-09-27 19:18:50 +00:00

..

compiler

don't count app nodes in term size

2011-09-26 13:56:39 +00:00

editor/simple

gfse: mention example-based grammar writing in about.html

2011-09-27 19:18:50 +00:00

example-based

exb: call exprToAPI to create nicer linearization functions

2011-09-27 19:17:53 +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

pgf-http: fix a bug that caused "+" to be treaded as " " in PGF service requests URLs.

2011-08-25 16:58:17 +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