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-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-17	now the linearization is completely based on PMCFG	krasimir

2010-01-05	store the label names in 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