4 Commits

Include renames

Author	SHA1	Message	Date
aarne	4c44f9fe18	typo in AllHin corrected; excluded ReflA2 in Demo (not needed in concretes any more)	2008-08-14 20:30:17 +00:00
aarne	ad2067e5db	changed startcat from Phr to S in Demo	2008-08-14 14:17:27 +00:00
bjorn	cb33f33d4d	Added startcat flag to Demo.gf	2008-08-14 08:07:24 +00:00
aarne	6e84a377ac	fixed decodeUTF8 for pgf; removed old resources from darcs	2008-06-26 19:41:25 +00:00