| Thu, 03 Jan 2002 17:48:02 +0100 | wenzelm | next round of updates; | file | diff | annotate |
| Wed, 02 Jan 2002 21:53:50 +0100 | wenzelm | first stage of major update; | file | diff | annotate |
| Tue, 04 Sep 2001 21:10:57 +0200 | wenzelm | renamed "antecedent" case to "rule_context"; | file | diff | annotate |
| Mon, 12 Feb 2001 20:44:02 +0100 | wenzelm | \<subseteq> syntax for classes/classrel/axclass/instance; | file | diff | annotate |
| Thu, 01 Feb 2001 20:43:14 +0100 | wenzelm | thms_containing: term args; | file | diff | annotate |
| Tue, 16 Jan 2001 00:22:43 +0100 | wenzelm | more method_setup examples; | file | diff | annotate |
| Wed, 10 Jan 2001 20:18:55 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 16 Dec 2000 21:41:14 +0100 | wenzelm | 'def': equiv; | file | diff | annotate |
| Mon, 11 Dec 2000 20:09:47 +0100 | wenzelm | alternative syntax for "translations": harpoons; | file | diff | annotate |
| Mon, 04 Dec 2000 23:20:37 +0100 | wenzelm | diagnostic commands: comment; | file | diff | annotate |
| Thu, 30 Nov 2000 20:05:10 +0100 | wenzelm | schematic goals; | file | diff | annotate |
| Sun, 15 Oct 2000 19:51:56 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 06 Oct 2000 14:19:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Sep 2000 17:34:50 +0200 | wenzelm | renamed "delrule" to "rule del"; | file | diff | annotate |
| Tue, 29 Aug 2000 20:12:04 +0200 | wenzelm | 'syntax': improved mode spec; | file | diff | annotate |