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