| Wed, 13 Sep 2000 22:31:19 +0200 | wenzelm | Args.addN, Args.delN; | file | diff | annotate |
| Tue, 12 Sep 2000 22:13:23 +0200 | wenzelm | renamed atts: rulify to rule_format, elimify to elim_format; | file | diff | annotate |
| Thu, 07 Sep 2000 20:57:57 +0200 | wenzelm | improved att names / msgs; | file | diff | annotate |
| Thu, 17 Aug 2000 10:39:44 +0200 | wenzelm | renamed 'RS' to 'THEN'; | file | diff | annotate |
| Sat, 01 Jul 2000 19:41:11 +0200 | wenzelm | removed help_attributes; | file | diff | annotate |
| Wed, 31 May 2000 14:27:12 +0200 | wenzelm | removed 'transfer' att (is now automatic); | file | diff | annotate |
| Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |