4 Commits

Author	SHA1	Message	Date
aarne	ffc93ff544	removed inheritance of Numerals in Syntax, added Combinators (for all langs now)	2008-09-13 06:33:42 +00:00
aarne	9d909f32cf	fixed decodeUTF8 for pgf; removed old resources from darcs	2008-06-26 19:41:25 +00:00
aarne	c5c6d13546	changed names of resource-1.3; added a note on homepage on release	2008-06-25 16:54:35 +00:00
aarne	4ea58bce2c	resource lib name changed	2007-12-12 20:30:11 +00:00