| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-09-20 | change the data types and the syntax in PGF to match the new syntax for impli... | krasimir |
| 2009-09-11 | polish the PGF API and make Expr and Type abstract types. Tree is a type syno... | krasimir |
| 2009-09-06 | hopefully complete and correct typechecker in PGF | krasimir |
| 2009-07-05 | PGF.Type.Hypo now can represent explicit and implicit arguments and argument ... | krasimir |
| 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-11-17 | Fix in Prolog output of the atom "'" | peb |
| 2008-09-25 | Changes to the prolog output format | peb |
| 2008-09-03 | new PGF output format: prolog syntax | peb |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |