| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-09-20 | change the data types and the syntax in PGF to match the new syntax for ↵ | krasimir | |
| implict arguments | |||
| 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 | |||
