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

Age	Commit message (Collapse)	Author
2010-06-30	rename isLiteralFCat -> isPredefFId, fcat(String\|Int\|Float) -> ↵	krasimir
	fid(String\|Int\|Float)
2010-06-29	introduce the type synonym Token=String in the PGF API	krasimir

2010-06-18	Yay!! Direct generation of PMCFG from GF grammar	krasimir

2010-05-26	since now we don't do common subexpression elimination for PGF we could ↵	krasimir
	simplify the PMCFG generation
2010-04-30	first incarnation of the bracketed string API	krasimir

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