gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2010-02-22	refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵	krasimir
	to the meta store
2010-02-16	fix the PGF printer for abstract	krasimir

2010-02-01	commands mq and tq can take a tree with metas to guide generation	aarne

2010-01-30	gt and gr can start from a tree with metavariables, just filling them	aarne

2010-01-29	bugfix in the PGF typechecker and more test cases	krasimir

2010-01-27	cleanup the code of the PGF interpreter and polish the binary serialization ↵	krasimir
	to match the preliminary specification
2010-01-17	PGF is now real synchronous PMCFG	krasimir

2010-01-05	printnames are now kept as String instead of Term in PGF	krasimir

2009-12-14	remove the old parsing code and the -erasing=on flag	krasimir

2009-12-13	reorganize the directories under src, and rescue the JavaScript interpreter ↵	krasimir
	from deprecated