krasimir 2991b7acef bugfix in the term generation

2010-10-20 13:36:39 +00:00

..

compiler

added explicit depth parameter to the parsing API and the corresponding command in the shell

2010-10-18 16:51:25 +00:00

runtime

bugfix in the term generation

2010-10-20 13:36:39 +00:00

server

the PGF service now can do both random and exhaustive generation. these functions now return both the generated tree and its linearization

2010-10-13 12:32:49 +00:00

tools

GF emacs mode

2010-08-19 11:36:24 +00:00

ui

WebUI: show error when depth/limit has invalid value

2010-10-13 12:53:42 +00:00