| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |