| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | new tester; all tests categorized | Araq | 2014-01-13 | 1 | -17/+0 |
| | | |||||
| * | term rewriting improvements | Araq | 2012-09-08 | 1 | -1/+1 |
| | | |||||
| * | next steps towards term rewriting macros; simple examples work | Araq | 2012-08-30 | 1 | -0/+17 |