17 Commits

Author	SHA1	Message	Date
aarne	ef504a4cbe	floats in GF and GFC (parsing user input still doesn't work)	2005-12-02 13:13:14 +00:00
aarne	5729a03678	gt -atoms	2005-10-12 11:38:29 +00:00
aarne	46e796f7cf	BinTree vs. FiniteMap	2005-05-30 17:39:43 +00:00
bringert	93af0c8535	Fixed module names and imports after giant file move.	2005-04-21 15:21:02 +00:00
aarne	20fb978962	gt with metavariables fixed	2005-03-04 11:05:10 +00:00
aarne	067e3d0678	one more improvement in gt	2005-03-04 07:12:56 +00:00
aarne	e278befcb7	better gt all the way	2005-03-03 15:40:51 +00:00
aarne	9dffab0900	better gt	2005-03-03 15:10:37 +00:00
aarne	7c42133159	bug fixes in generate and type check	2005-03-02 08:43:52 +00:00
peb	59b378a4e5	"Committed_by_peb"	2005-02-24 10:46:37 +00:00
peb	5e4929a635	"Committed_by_peb"	2005-02-18 18:21:06 +00:00
peb	774541ca07	"Committed_by_peb"	2005-02-04 09:10:28 +00:00
aarne	0232a283a9	peel head i ; gt nometas ; gf2hs	2004-05-18 20:57:13 +00:00
aarne	86964ca5d5	Generation with metavariables.	2004-05-03 12:39:32 +00:00
aarne	8d4983cdb2	gt Term	2004-05-02 08:21:25 +00:00
aarne	126753651a	Improved gt; Karin C's examples.	2004-04-30 19:52:34 +00:00
aarne	b67b5e1d5f	generation command gt n	2004-04-30 15:18:38 +00:00