21 Commits

Author	SHA1	Message	Date
aarne	28245481a7	Improved generation algorithm (old with -old, all with -all (-lin))	2006-08-15 19:59:10 +00:00
aarne	6ee69593f0	started looking at gt -all, not ready	2006-06-28 12:31:16 +00:00
aarne	82fbc184b6	added some generation facilities	2006-03-31 16:30:44 +00:00
aarne	ae30eca844	gt -noexpand	2006-03-31 13:20:40 +00:00
aarne	dea5158cbf	floats in GF and GFC (parsing user input still doesn't work)	2005-12-02 13:13:14 +00:00
aarne	7b941a4ffa	gt -atoms	2005-10-12 11:38:29 +00:00
aarne	5bf9a7fe70	BinTree vs. FiniteMap	2005-05-30 17:39:43 +00:00
bringert	5c9917ff8d	Fixed module names and imports after giant file move.	2005-04-21 15:21:02 +00:00
aarne	172d19ade9	gt with metavariables fixed	2005-03-04 11:05:10 +00:00
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