4 Commits

Include renames

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