krasimir 7c2bce5779 judgements lindef are now respected by both the parser and the linearizer

2009-12-11 17:39:18 +00:00

..

compiler

add test case for typechecking of lincat

2009-11-13 10:28:37 +00:00

libraries

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

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

runtime

judgements lindef are now respected by both the parser and the linearizer

2009-12-11 17:39:18 +00:00