| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Fri, 26 May 2000 11:18:06 +0200 | paulson | updated acknowledgements | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Tue, 12 Oct 1999 19:05:27 +0200 | wenzelm | a4paper; | file | diff | annotate |
| Fri, 03 Sep 1999 16:11:03 +0200 | wenzelm | fixed usepackage; | file | diff | annotate |
| Tue, 03 Aug 1999 13:06:16 +0200 | paulson | new chapter on Sequents | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Wed, 05 May 1999 18:19:03 +0200 | wenzelm | improved Makefile; | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
| Tue, 04 May 1999 18:05:34 +0200 | wenzelm | HOL part moved to 'logics-HOL' manual; | file | diff | annotate |
| Fri, 08 Jan 1999 14:02:04 +0100 | paulson | removal of FOL, ZF to a separate manual | file | diff | annotate |
| Tue, 21 Jul 1998 16:41:12 +0200 | wenzelm | fixed isabelle logo; | file | diff | annotate |
| Tue, 21 Jul 1998 08:54:09 +0200 | wenzelm | fixed isabelle logo; | file | diff | annotate |
| Mon, 20 Jul 1998 19:06:39 +0200 | wenzelm | added pdfsetup and isabelle logo; | file | diff | annotate |
| Thu, 22 May 1997 10:49:33 +0200 | nipkow | Documented exhaust_tac. | file | diff | annotate |