krasimir 828fc44029 bugfix in PGF.TypeCheck

2010-03-14 12:21:00 +00:00

..

compiler

rule for pretty printing implicit arguments

2010-02-22 20:09:28 +00:00

runtime

bugfix in PGF.TypeCheck

2010-03-14 12:21:00 +00:00

server

Quick fix to adapt to new version of the PGF library.

2010-03-04 18:46:18 +00:00

tools

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00