7 Commits

Include renames

Author	SHA1	Message	Date
aarne	05f00cff37	numerals demo on the web	2008-08-15 15:28:09 +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
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
bjorn	19755d9529	Remove superfluous DemoI.gf.	2008-08-14 07:56:41 +00:00
aarne	97cf0b9dd2	documentation written; some weird constructors excluded from demo	2008-06-27 14:14:01 +00:00
aarne	6e84a377ac	fixed decodeUTF8 for pgf; removed old resources from darcs	2008-06-26 19:41:25 +00:00