7 Commits

Author	SHA1	Message	Date
aarne	f207a4038e	metavariables made unique in type checking	2009-01-30 16:52:38 +00:00
aarne	dd839fa867	updated gf-bibliography	2008-08-23 16:34:42 +00:00
aarne	84c08b1401	README for regulus	2007-06-10 20:28:12 +00:00
aarne	9b2ec30b68	some new bib entries	2007-05-17 21:09:45 +00:00
aarne	5bb2bb7978	ref to Bj?rn's paper	2007-05-04 09:54:32 +00:00
aarne	d2f42a06e8	Ali's new paper added to refs.	2007-05-04 09:49:25 +00:00
aarne	0c1198f025	gf-bibliography extended and converted to txt source	2007-05-04 08:23:37 +00:00