| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2005-03-04 | gt with metavariables fixed | aarne | |
| 2005-03-04 | one more improvement in gt | aarne | |
| 2005-03-03 | better gt all the way | aarne | |
| 2005-03-03 | better gt | aarne | |
| 2005-03-02 | bug fixes in generate and type check | aarne | |
| 2005-02-24 | "Committed_by_peb" | peb | |
| 2005-02-18 | "Committed_by_peb" | peb | |
| 2005-02-04 | "Committed_by_peb" | peb | |
| 2004-05-18 | peel head i ; gt nometas ; gf2hs | aarne | |
| 2004-05-03 | Generation with metavariables. | aarne | |
| 2004-05-02 | gt Term | aarne | |
| 2004-04-30 | Improved gt; Karin C's examples. | aarne | |
| 2004-04-30 | generation command gt n | aarne | |
