5 commits

Author	SHA1	Message	Date
Araq	7c065bfadf	fixes #798	2014-04-06 22:05:42 +02:00
Araq	c0a3d44060	bugfix: keywords are sorted	2013-12-05 10:45:36 +01:00
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	6753d36854	further improvements for term rewriting macros	2012-09-04 00:55:13 +02:00