8 Commits

Author	SHA1	Message	Date
aarne	4aaf73b828	removed the obsolete Overload modules	2008-08-19 13:54:25 +00:00
aarne	6e84a377ac	fixed decodeUTF8 for pgf; removed old resources from darcs	2008-06-26 19:41:25 +00:00
aarne	8474fd5d34	changed names of resource-1.3; added a note on homepage on release	2008-06-25 16:54:35 +00:00
aarne	ab03f3c0c8	temporary work-around of gfcc generation bug in resource-1.4 grammars	2008-05-24 07:18:34 +00:00
aarne	78ca45feed	took back smart type of Int ; Digits type in resource and some adjustments of Det syntax (not yet for romance and russian)	2007-12-17 18:12:46 +00:00
aarne	a1290a9995	resource lib name changed	2007-12-12 20:30:11 +00:00
aarne	8b78a7f6b3	preserve 1.0	2006-06-22 22:27:48 +00:00
aarne	523a0dcd94	resource = resource-1.0	2006-06-22 22:25:55 +00:00