Thu, 28 Sep 2006 23:42:49 +0200 | wenzelm | removed legacy code; | file | diff | annotate |
Fri, 15 Sep 2006 22:56:08 +0200 | wenzelm | tuned; | file | diff | annotate |
Thu, 02 Mar 2006 00:57:34 +0100 | mengj | Added in a signature. | file | diff | annotate |
Wed, 01 Mar 2006 05:56:53 +0100 | mengj | A new file that sets up rules set used by ATPs. Rules are added to and removed from the set using "atp" attribute. | file | diff | annotate |