Araq 355ae07b8f activated tests for tr macros		2012-09-06 00:23:55 +02:00
..
targlist.nim	further improvements for term rewriting macros	2012-09-04 00:55:13 +02:00
tcse.nim	activated tests for tr macros	2012-09-06 00:23:55 +02:00
tnoalias.nim	activated tests for tr macros	2012-09-06 00:23:55 +02:00
tor.nim	further improvements for term rewriting macros	2012-09-04 00:55:13 +02:00
tstar.nim	bugfixes and improvements for term rewriting macros	2012-09-04 23:57:39 +02:00
tstmtlist.nim	activated tests for tr macros	2012-09-06 00:23:55 +02:00