krasimir 5eeb41a67f add test case for abstract types with let bindings

2010-01-31 20:45:48 +00:00

..

compiler

add test case for abstract types with let bindings

2010-01-31 20:45:48 +00:00

libraries

the treebank test for the resource libraries is moved to the testsuite

2009-05-20 14:59:46 +00:00

runtime

bugfix in the PGF typechecker and more test cases

2010-01-29 21:10:14 +00:00