| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | lazy paths for Babel support | Araq | 2012-12-11 | 1 | -0/+9 |
| * | constraint now part of the parameter symbol and not of the type | Araq | 2012-12-05 | 1 | -2/+2 |
| * | tr macros now documented | Araq | 2012-09-10 | 1 | -1/+1 |
| * | first steps to deprecate 'nil' statement | Araq | 2012-09-09 | 1 | -3/+0 |
| * | tmatrix.nim works now | Araq | 2012-09-08 | 1 | -9/+21 |
| * | term rewriting improvements | Araq | 2012-09-08 | 1 | -25/+59 |
| * | activated tests for tr macros | Araq | 2012-09-06 | 1 | -13/+18 |
| * | bugfixes and improvements for term rewriting macros | Araq | 2012-09-04 | 1 | -10/+19 |
| * | further improvements for term rewriting macros | Araq | 2012-09-04 | 1 | -20/+11 |
| * | term rewriting macros fully implemented; still buggy | Araq | 2012-09-03 | 1 | -44/+156 |
| * | next steps towards term rewriting macros; simple examples work | Araq | 2012-08-30 | 1 | -5/+11 |
| * | first steps towards term rewriting macros | Araq | 2012-08-30 | 1 | -0/+128 |