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

Age	Commit message (Collapse)	Author
2009-12-13	reorganize the directories under src, and rescue the JavaScript interpreter ↵	krasimir
	from deprecated
2009-09-20	change the data types and the syntax in PGF to match the new syntax for ↵	krasimir
	implict arguments
2009-09-11	polish the PGF API and make Expr and Type abstract types. Tree is a type ↵	krasimir
	synonym of Expr
2009-09-06	hopefully complete and correct typechecker in PGF	krasimir

2009-07-05	PGF.Type.Hypo now can represent explicit and implicit arguments and argument ↵	krasimir
	without bound variable
2009-05-22	some work on evaluation with abstract expressions in PGF	krasimir

2009-05-20	refactor the PGF.Expr type and the evaluation of abstract expressions	krasimir

2008-11-17	Fix in Prolog output of the atom "'"	peb

2008-09-25	Changes to the prolog output format	peb

2008-09-03	new PGF output format: prolog syntax	peb
	* output a PGF grammar in prolog readable syntax * variables in abstract syntax (hypotheses and lambda-abstractions) are translated to unique logical variables * PGF terms in concrete syntax are translated to more prolog-like terms