14 Commits

Author	SHA1	Message	Date
bringert	5c9917ff8d	Fixed module names and imports after giant file move.	2005-04-21 15:21:02 +00:00
aarne	48deedea14	fixed shell solve command	2005-03-02 13:25:45 +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	2bd22e078a	some bug fixes in type check and solve	2004-11-01 21:41:18 +00:00
aarne	69aa3248d2	unique ref	2004-08-13 13:21:46 +00:00
aarne	3b39607bba	last-minute bug fixes	2004-06-24 14:06:09 +00:00
aarne	8963681a3b	peel head i ; gt nometas ; gf2hs	2004-05-18 20:57:13 +00:00
aarne	d0c7566791	Added clipboard.	2003-10-10 11:35:52 +00:00
aarne	a979508aa7	Restored printnames.	2003-10-08 10:09:58 +00:00
aarne	6e9258558a	Improvements in hte editor.	2003-09-24 14:26:35 +00:00
aarne	b1402e8bd6	Founding the newly structured GF2.0 cvs archive.	2003-09-22 13:16:55 +00:00