Commit Graph

4 Commits

Author SHA1 Message Date
Araq
92b449562e tr macros now documented 2012-09-10 19:34:16 +02:00
Araq
b64eeeb430 term rewriting improvements 2012-09-08 15:43:21 +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