Commit Graph

3 Commits

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