4 Commits

Include renames

Author	SHA1	Message	Date
aarne	4aaf73b828	removed the obsolete Overload modules	2008-08-19 13:54:25 +00:00
aarne	4c44f9fe18	typo in AllHin corrected; excluded ReflA2 in Demo (not needed in concretes any more)	2008-08-14 20:30:17 +00:00
bringert	e7389f308e	Rename all Language.gf to AllLan.gf to be able to build them automatically.	2008-08-12 15:12:54 +00:00
aarne	6e84a377ac	fixed decodeUTF8 for pgf; removed old resources from darcs	2008-06-26 19:41:25 +00:00