Commit Graph

12 Commits

Author SHA1 Message Date
aarne
270b54395f one more improvement in gt 2005-03-04 07:12:56 +00:00
aarne
198ac61a65 better gt all the way 2005-03-03 15:40:51 +00:00
aarne
f07ea93082 better gt 2005-03-03 15:10:37 +00:00
aarne
d1a21f9562 bug fixes in generate and type check 2005-03-02 08:43:52 +00:00
peb
bf436aebaa "Committed_by_peb" 2005-02-24 10:46:37 +00:00
peb
9568d7a844 "Committed_by_peb" 2005-02-18 18:21:06 +00:00
peb
6381f3a998 "Committed_by_peb" 2005-02-04 09:10:28 +00:00
aarne
8963681a3b peel head i ; gt nometas ; gf2hs 2004-05-18 20:57:13 +00:00
aarne
f644f13527 Generation with metavariables. 2004-05-03 12:39:32 +00:00
aarne
54947d3e4c gt Term 2004-05-02 08:21:25 +00:00
aarne
487571a685 Improved gt; Karin C's examples. 2004-04-30 19:52:34 +00:00
aarne
fc99b225a7 generation command gt n 2004-04-30 15:18:38 +00:00