3 Commits

Include renames

Author	SHA1	Message	Date
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