7 Commits

Include renames

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