7 Commits

Author	SHA1	Message	Date
aarne	241e13247d	metavariables made unique in type checking	2009-01-30 16:52:38 +00:00
aarne	ec9a04467d	updated gf-bibliography	2008-08-23 16:34:42 +00:00
aarne	2353e930e3	README for regulus	2007-06-10 20:28:12 +00:00
aarne	3aeaa86460	some new bib entries	2007-05-17 21:09:45 +00:00
aarne	e63fcd0a1f	ref to Bj?rn's paper	2007-05-04 09:54:32 +00:00
aarne	3a51d58ff3	Ali's new paper added to refs.	2007-05-04 09:49:25 +00:00
aarne	8e324fc97d	gf-bibliography extended and converted to txt source	2007-05-04 08:23:37 +00:00