| 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 |