| Wed, 12 Apr 2000 23:45:21 +0200 | wenzelm | added 'insert' method; | file | diff | annotate |
| Thu, 30 Mar 2000 15:12:20 +0200 | wenzelm | added 'moreover' and 'ultimately'; | file | diff | annotate |
| Tue, 21 Mar 2000 17:32:44 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 21 Mar 2000 17:32:43 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 20 Mar 2000 18:42:50 +0100 | wenzelm | tactic emulation; | file | diff | annotate |
| Sat, 18 Mar 2000 19:03:57 +0100 | wenzelm | obtain; | file | diff | annotate |
| Fri, 17 Mar 2000 22:52:29 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 16 Mar 2000 00:29:03 +0100 | wenzelm | Splitter support; | file | diff | annotate |
| Tue, 14 Mar 2000 11:31:04 +0100 | wenzelm | added 'case' command; | file | diff | annotate |
| Mon, 07 Feb 2000 18:38:51 +0100 | wenzelm | intro/elim/dest attributes: changed ! / !! flags to ? / ??; | file | diff | annotate |
| Sat, 05 Feb 2000 16:54:27 +0100 | wenzelm | '.' == by this; | file | diff | annotate |
| Sun, 31 Oct 1999 15:20:35 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 30 Oct 1999 20:13:16 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 29 Oct 1999 19:00:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 29 Oct 1999 16:48:55 +0200 | wenzelm | improved; | file | diff | annotate |
| Thu, 21 Oct 1999 18:04:07 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |