| Sat, 01 Apr 2000 20:18:52 +0200 | wenzelm | isatool document: tuned -c option; | file | diff | annotate |
| Fri, 24 Mar 2000 13:48:31 +0100 | wenzelm | usedir -D: update styles as well; | file | diff | annotate |
| Wed, 08 Mar 2000 17:45:16 +0100 | wenzelm | added isatool mkdir; | file | diff | annotate |
| Sat, 30 Oct 1999 20:12:23 +0200 | wenzelm | isabellesym.sty; | file | diff | annotate |
| Fri, 29 Oct 1999 18:31:08 +0200 | wenzelm | comment out isabellesym.sty; | file | diff | annotate |
| Fri, 29 Oct 1999 12:45:14 +0200 | wenzelm | \isasym; | file | diff | annotate |
| Tue, 19 Oct 1999 13:45:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 18 Oct 1999 19:43:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 14 Oct 1999 17:40:22 +0200 | berghofe | Corrected typo. | file | diff | annotate |
| Thu, 14 Oct 1999 15:14:14 +0200 | wenzelm | support thumbpdf; | file | diff | annotate |
| Thu, 14 Oct 1999 12:46:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Oct 1999 19:39:19 +0200 | wenzelm | updated; | file | diff | annotate |
| Wed, 18 Aug 1999 17:15:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 18 Aug 1999 15:40:45 +0200 | berghofe | Modified section about generation of theory browsing information. | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Wed, 20 Jan 1999 18:07:34 +0100 | wenzelm | isabelle.in.tum.de; | file | diff | annotate |
| Mon, 24 Aug 1998 17:13:11 +0200 | wenzelm | emacs local vars; | file | diff | annotate |
| Mon, 12 Jan 1998 15:47:43 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 08 Jan 1998 18:25:36 +0100 | wenzelm | updated to Isabelle98; | file | diff | annotate |
| Tue, 30 Sep 1997 17:31:19 +0200 | berghofe | Added section describing the theory browser. | file | diff | annotate |
| Fri, 16 May 1997 15:57:11 +0200 | wenzelm | still under construction! | file | diff | annotate |
| Wed, 14 May 1997 19:27:21 +0200 | wenzelm | preliminary! | file | diff | annotate |