9 Commits

Include renames

Author	SHA1	Message	Date
aarne	299556d2f9	Make for compatibility	2008-09-09 20:02:19 +00:00
aarne	83978e34e8	completed IdiomCat to compile api and math	2008-09-09 16:11:05 +00:00
aarne	f7bbf6b27b	enable matching of ++ strings with regular patterns	2008-09-09 06:36:36 +00:00
bjorn	68e70b0f94	Print gf commands in Make.hs for debugging purposes.	2008-08-14 15:25:05 +00:00
bringert	b34433f9b1	Compile AllX.gf instead of LangX.gf.	2008-08-12 18:43:13 +00:00
bringert	9bfa602509	Some clean-up in the resource lib build system.	2008-08-12 14:28:31 +00:00
aarne	97cf0b9dd2	documentation written; some weird constructors excluded from demo	2008-06-27 14:14:01 +00:00
aarne	aa9ae202ed	version-related changes in Makefile and help	2008-06-27 09:09:29 +00:00
aarne	6e84a377ac	fixed decodeUTF8 for pgf; removed old resources from darcs	2008-06-26 19:41:25 +00:00