4 Commits

Author	SHA1	Message	Date
krasimir	11218cdbca	store the label names in PMCFG	2010-01-05 08:35:33 +00:00
krasimir	f841b1ada5	printnames are now kept as String instead of Term in PGF	2010-01-05 07:05:41 +00:00
krasimir	76debee2c1	remove the old parsing code and the -erasing=on flag	2009-12-14 10:54:22 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00