| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| * output a PGF grammar in prolog readable syntax * variables in abstract syntax (hypotheses and lambda-abstractions) are translated to unique logical variables * PGF terms in concrete syntax are translated to more prolog-like terms | |||
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |