| Thu, 29 Jun 2000 22:39:09 +0200 | wenzelm | added \indexisarant; | file | diff | annotate |
| Sun, 28 May 2000 21:57:40 +0200 | wenzelm | \newcommand{\indexisarcase}; | file | diff | annotate |
| Sun, 21 May 2000 14:42:35 +0200 | wenzelm | improved \BG, \EN; | file | diff | annotate |
| Thu, 30 Mar 2000 15:11:48 +0200 | wenzelm | added \MOREOVER, \ULTIMATELY; | file | diff | annotate |
| Fri, 17 Mar 2000 22:49:13 +0100 | wenzelm | fixed \OBTAIN; | file | diff | annotate |
| Tue, 14 Mar 2000 11:27:38 +0100 | wenzelm | added \NEXT; | file | diff | annotate |
| Wed, 08 Mar 2000 23:37:25 +0100 | wenzelm | added \CASE, \OBTAIN, \SORRY, \OOPS; | file | diff | annotate |
| Fri, 29 Oct 1999 19:00:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 29 Oct 1999 12:48:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 21 Oct 1999 17:42:42 +0200 | wenzelm | removed \BG, \EN; | file | diff | annotate |
| Thu, 21 Oct 1999 15:57:26 +0200 | wenzelm | added \ISS; | file | diff | annotate |
| Tue, 07 Sep 1999 18:10:03 +0200 | wenzelm | \indexisarmeth: "Methods"; | file | diff | annotate |
| Sat, 04 Sep 1999 20:55:52 +0200 | wenzelm | added \indexisarvar; | file | diff | annotate |
| Fri, 03 Sep 1999 16:10:39 +0200 | wenzelm | permuted index; | file | diff | annotate |
| Mon, 30 Aug 1999 14:07:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 24 Aug 1999 15:41:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 23 Aug 1999 15:27:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Aug 1999 21:14:44 +0200 | wenzelm | \indexisarreg; | file | diff | annotate |
| Wed, 04 Aug 1999 18:19:45 +0200 | wenzelm | improved \NOTE; | file | diff | annotate |
| Tue, 03 Aug 1999 19:02:03 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 30 Jul 1999 15:57:27 +0200 | wenzelm | Isabelle/Isar macros; | file | diff | annotate |
| Tue, 20 Jul 1999 18:50:46 +0200 | wenzelm | checkpoint; | file | diff | annotate |