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

Age	Commit message (Expand)	Author
2009-09-20	change the data types and the syntax in PGF to match the new syntax for impli...	krasimir
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 syno...	krasimir
2009-09-08	now the datatype Tree is only internal. All API functions are working with Ex...	krasimir
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
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, and...	aarne
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