4 Commits

Author	SHA1	Message	Date
krasimir	14cd21db6d	more test/srg to examples/test/srg	2008-10-20 11:11:59 +00:00
krasimir	31ccbdb34c	added parser test suite	2008-10-20 09:40:09 +00:00
aarne	b6666624a0	rudimentary abstract syntax type checker and solver in PGF	2008-10-14 14:34:08 +00:00
aarne	b862003c11	moved paraphrases to examples/test/, meant for small grammars used for testing various aspects	2008-10-14 11:20:44 +00:00