| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | debugger compiles again | Araq | 2012-09-13 | 1 | -1/+2 |
| * | tr macros now documented | Araq | 2012-09-10 | 3 | -4/+16 |
| * | unittest bugfix; made some tests green | Araq | 2012-09-08 | 1 | -1/+3 |
| * | tmatrix.nim works now | Araq | 2012-09-08 | 1 | -2/+2 |
| * | term rewriting improvements | Araq | 2012-09-08 | 3 | -1/+37 |
| * | activated tests for tr macros | Araq | 2012-09-06 | 3 | -1/+31 |
| * | bugfixes and improvements for term rewriting macros | Araq | 2012-09-04 | 2 | -6/+6 |
| * | further improvements for term rewriting macros | Araq | 2012-09-04 | 4 | -0/+55 |