Araq
|
eb72c7c0a0
|
debugger compiles again
|
2012-09-13 00:12:14 +02:00 |
|
Araq
|
92b449562e
|
tr macros now documented
|
2012-09-10 19:34:16 +02:00 |
|
Araq
|
46f652b93e
|
unittest bugfix; made some tests green
|
2012-09-08 22:33:15 +02:00 |
|
Araq
|
46e9ff6139
|
tmatrix.nim works now
|
2012-09-08 18:51:52 +02:00 |
|
Araq
|
b64eeeb430
|
term rewriting improvements
|
2012-09-08 15:43:21 +02:00 |
|
Araq
|
355ae07b8f
|
activated tests for tr macros
|
2012-09-06 00:23:55 +02:00 |
|
Araq
|
30c00aba07
|
bugfixes and improvements for term rewriting macros
|
2012-09-04 23:57:39 +02:00 |
|
Araq
|
6753d36854
|
further improvements for term rewriting macros
|
2012-09-04 00:55:13 +02:00 |
|