| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |