2 Commits

Author	SHA1	Message	Date
aarne	24ba17ba39	removed inheritance of Numerals in Syntax, added Combinators (for all langs now)	2008-09-13 06:33:42 +00:00
aarne	6e84a377ac	fixed decodeUTF8 for pgf; removed old resources from darcs	2008-06-26 19:41:25 +00:00