| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-12-10 | testsuite: fix test of generate_trees | hallgren | |
| There were two differences between the current output and the old gold file: 1. The trees are no longer generated with increasing depth 2. The meaning of the -depth flag has changed: for example, "gt -cat=Nat -depth=1" used to generate only "zero", now you also get "succ zero". | |||
| 2013-12-03 | testsuite: use forward slashes in paths | hallgren | |
| 2010-11-12 | operations in the abstract syntax | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |