| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-01-17 | now the linearization is completely based on PMCFG | krasimir |
| 2010-01-17 | prettier parameter names in PGF | krasimir |
| 2010-01-16 | small code cleanup in GeneratePMCFG.hs | krasimir |
| 2010-01-12 | move the definitions of _B and _V to PGF.Macros | krasimir |
| 2010-01-05 | store the label names in PMCFG | krasimir |
| 2010-01-05 | printnames are now kept as String instead of Term in PGF | krasimir |
| 2009-12-16 | one step deeper into records in PGF generation | aarne |
| 2009-12-14 | remove the old parsing code and the -erasing=on flag | krasimir |
| 2009-12-14 | rename some modules that had GFCC in the name to PGF+something | krasimir |
| 2009-12-14 | now the PGF to JavaScript convertor uses PMCFG | krasimir |
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter f... | krasimir |
