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

Age	Commit message (Collapse)	Author
2010-03-24	now for every category we store, in PGF, the list of functions for it in ↵	krasimir
	source-code order. The order matters for the termination of the exhaustive generation with dependent types.
2010-02-22	refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵	krasimir
	to the meta store
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-13	reorganize the directories under src, and rescue the JavaScript interpreter ↵	krasimir
	from deprecated