| Thu, 15 May 2008 20:14:10 +0200 | use Isabelle sty files from Doc/; | file | diff | annotate |
| Wed, 20 Aug 2003 13:34:17 +0200 | final tweaks for Isar version | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | improved indexing; | file | diff | annotate |
| Tue, 18 May 1999 12:34:42 +0200 | ../manual.bib a new dependency | file | diff | annotate |
| Mon, 10 May 1999 17:44:17 +0200 | tuned; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | pdf setup; | file | diff | annotate |
| Wed, 05 May 1999 18:13:56 +0200 | improved Makefile; | file | diff | annotate |
| Tue, 04 May 1999 17:59:55 +0200 | isabelle_zf image; | file | diff | annotate |
| Wed, 13 Jan 1999 16:36:36 +0100 | the separate FOL and ZF logics manual, with new material on datatypes and | file | diff | annotate |