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

Age	Commit message (Collapse)	Author
2010-10-02	refactor the API for random generation again. Now PGF contains probabilities ↵	krasimir
	in the abstract syntax
2010-08-09	native representation for HOAS in PMCFG and incremental type checking of the ↵	krasimir
	parse forest
2010-07-01	redesign the open-literals API	krasimir

2010-06-09	dead code elimination for PGF. Note: the produced grammars will not work ↵	krasimir
	well with metavariables and high-order abstract syntax
2010-04-28	wf,vt,vp,vd,aw should store files in utf8	krasimir

2010-04-19	use the native unicode support from GHC 6.12	krasimir

2010-04-06	dependency graph can be restricted to some modules; added help dg	aarne

2010-03-23	added codepage for Turkish	krasimir

2010-03-22	store and propagate the exact source location for all judgements in the ↵	krasimir
	grammar. It may not be used accurately in the error messages yet
2010-03-20	added experimental generation of Lambda Prolog code. Could be used for ↵	krasimir
	exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-01-31	refactor GF.Infra.Modules for better error messages	krasimir

2010-01-17	PGF is now real synchronous PMCFG	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