8 Commits

Include renames

Author	SHA1	Message	Date
aarne	6e84a377ac	fixed decodeUTF8 for pgf; removed old resources from darcs	2008-06-26 19:41:25 +00:00
aarne	8474fd5d34	changed names of resource-1.3; added a note on homepage on release	2008-06-25 16:54:35 +00:00
aarne	fee40b47a7	treating Int as PredefAbs.Int in lookup	2008-06-12 13:11:18 +00:00
aarne	25c1005dc8	more example languages	2007-12-19 10:50:17 +00:00
aarne	b5ed87b715	constructor for combining two Texts; Synopsis for new version of resource	2007-12-18 21:02:01 +00:00
aarne	54bb5b9ad4	Digits in Constructors	2007-12-18 17:42:38 +00:00
aarne	1a3383995a	brought derived resources up to date wrt Quant	2007-12-18 10:46:41 +00:00
aarne	a1290a9995	resource lib name changed	2007-12-12 20:30:11 +00:00