| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Tue, 22 Aug 2000 11:24:44 +0200 | paulson | removed redundant commands | file | diff | annotate |
| Thu, 06 Jul 2000 09:46:56 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Tue, 12 Oct 1999 19:14:06 +0200 | wenzelm | a4paper; | file | diff | annotate |
| Fri, 03 Sep 1999 16:11:03 +0200 | wenzelm | fixed usepackage; | file | diff | annotate |
| Mon, 10 May 1999 17:43:55 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Wed, 05 May 1999 18:48:02 +0200 | wenzelm | manual.bib; | file | diff | annotate |
| Tue, 04 May 1999 18:27:36 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 12 Jan 1999 15:48:59 +0100 | nipkow | verbatim | file | diff | annotate |
| Thu, 12 Nov 1998 16:45:17 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 26 Aug 1998 17:11:29 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 26 Aug 1998 16:57:49 +0200 | nipkow | The HOL tutorial. | file | diff | annotate |