|
tcse.nim
|
activated tests for tr macros
|
2012-09-06 00:23:55 +02:00 |
|
tmatrix.nim
|
unittest bugfix; made some tests green
|
2012-09-08 22:33:15 +02:00 |
|
tnoalias.nim
|
activated tests for tr macros
|
2012-09-06 00:23:55 +02:00 |
|
tnoendlessrec.nim
|
term rewriting improvements
|
2012-09-08 15:43:21 +02:00 |
|
tor.nim
|
further improvements for term rewriting macros
|
2012-09-04 00:55:13 +02:00 |
|
tstar.nim
|
term rewriting improvements
|
2012-09-08 15:43:21 +02:00 |
|
tstmtlist.nim
|
activated tests for tr macros
|
2012-09-06 00:23:55 +02:00 |
