| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-09-17 | added pt -transfer | krasimir |
| 2009-09-11 | polish the PGF API and make Expr and Type abstract types. Tree is a type syno... | krasimir |
| 2009-09-08 | now the datatype Tree is only internal. All API functions are working with Ex... | krasimir |
| 2009-09-06 | hopefully complete and correct typechecker in PGF | krasimir |
| 2009-05-23 | now in the command shell the primary type in the pipe is Expr not Tree. This ... | krasimir |
| 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, and... | aarne |
| 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 |
