hallgren 4e35640bb8 Add a command name header to the 'help -t2t' output

2011-09-15 18:19:01 +00:00

..

compiler

Add a command name header to the 'help -t2t' output

2011-09-15 18:19:01 +00:00

editor/simple

gfse: added grammar cloning

2011-09-13 15:19:16 +00:00

runtime

quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisited

2011-09-14 11:29:35 +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

two examples of the .gfm format

2010-11-30 14:54:03 +00:00

ui

fix the grammar browser in the editor

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