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-17	added pt -transfer	krasimir

2009-09-11	polish the PGF API and make Expr and Type abstract types. Tree is a type ↵	krasimir
	synonym of Expr
2009-09-08	now the datatype Tree is only internal. All API functions are working with ↵	krasimir
	Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker
2009-09-06	hopefully complete and correct typechecker in PGF	krasimir

2009-05-23	now in the command shell the primary type in the pipe is Expr not Tree. This ↵	krasimir
	makes the pt -compute and pt -typecheck more interesting
2009-05-20	refactor the PGF.Expr type and the evaluation of abstract expressions	krasimir

2008-10-14	rudimentary abstract syntax type checker and solver in PGF	aarne

2008-10-14	paraphrase works a little better now ; added examples/paraphrase for testing	aarne

2008-10-13	added a paraphrase method applying def's in both directions, in subtrees, ↵	aarne
	and step by step; doesn't work properly yet
2008-10-10	a first version of PGF.AbsCompute	aarne

2008-10-06	simplified 1.5 by removing mathematical/	aarne

2008-10-05	added a command for tree operations and started a module for defining them	aarne