| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-05-20 | refactor the PGF.Expr type and the evaluation of abstract expressions | krasimir | |
| 2008-10-14 | rudimentary abstract syntax type checker and solver in PGF | aarne | |
| 2008-10-14 | paraphrase works a little better now ; added examples/paraphrase for testing | aarne | |
| 2008-10-13 | added a paraphrase method applying def's in both directions, in subtrees, ↵ | aarne | |
| and step by step; doesn't work properly yet | |||
| 2008-10-10 | a first version of PGF.AbsCompute | aarne | |
| 2008-10-06 | simplified 1.5 by removing mathematical/ | aarne | |
| 2008-10-05 | added a command for tree operations and started a module for defining them | aarne | |
