7 Commits

Author	SHA1	Message	Date
aarne	4ea58bce2c	resource lib name changed	2007-12-12 20:30:11 +00:00
aarne	4821244741	preserve 1.0	2006-06-22 22:27:48 +00:00
aarne	251bc4c738	resource = resource-1.0	2006-06-22 22:25:55 +00:00
aarne	5729a03678	gt -atoms	2005-10-12 11:38:29 +00:00
aarne	7df1ff9409	MAth	2005-09-15 15:22:00 +00:00
aarne	56c80bf8d9	unlexer concat	2005-02-08 15:35:58 +00:00
aarne	c30eebbba6	tuning resource API	2005-02-06 09:52:19 +00:00