| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-02-22 | refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access t... | krasimir |
| 2010-02-16 | fix the PGF printer for abstract | krasimir |
| 2010-02-01 | commands mq and tq can take a tree with metas to guide generation | aarne |
| 2010-01-30 | gt and gr can start from a tree with metavariables, just filling them | aarne |
| 2010-01-29 | bugfix in the PGF typechecker and more test cases | krasimir |
| 2010-01-27 | cleanup the code of the PGF interpreter and polish the binary serialization t... | krasimir |
| 2010-01-17 | PGF is now real synchronous PMCFG | krasimir |
| 2010-01-05 | printnames are now kept as String instead of Term in PGF | krasimir |
| 2009-12-14 | remove the old parsing code and the -erasing=on flag | krasimir |
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter f... | krasimir |
