| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2006-03-31 | added some generation facilities | aarne | |
| 2006-03-31 | gt -noexpand | aarne | |
| 2005-12-02 | floats in GF and GFC (parsing user input still doesn't work) | aarne | |
| 2005-10-12 | gt -atoms | aarne | |
| 2005-05-30 | BinTree vs. FiniteMap | aarne | |
| 2005-04-21 | Fixed module names and imports after giant file move. | bringert | |
| 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 | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |