| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter ↵ | krasimir | |
| from deprecated | |||
| 2009-09-11 | polish the PGF API and make Expr and Type abstract types. Tree is a type ↵ | krasimir | |
| synonym of Expr | |||
| 2009-09-08 | now the datatype Tree is only internal. All API functions are working with ↵ | krasimir | |
| Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker | |||
| 2009-05-23 | now in the command shell the primary type in the pipe is Expr not Tree. This ↵ | krasimir | |
| makes the pt -compute and pt -typecheck more interesting | |||
| 2009-05-22 | some work on evaluation with abstract expressions in PGF | krasimir | |
| 2009-05-20 | refactor the PGF.Expr type and the evaluation of abstract expressions | krasimir | |
| 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 | |||
