| Thu, 15 May 2008 20:02:37 +0200 | wenzelm | removed obsolete thumbpdf; | file | diff | annotate |
| Wed, 02 Jan 2008 16:32:52 +0100 | wenzelm | added usedir -M max (alias for -M 0); | file | diff | annotate |
| Thu, 11 Oct 2007 18:58:34 +0200 | wenzelm | usedir: added HOL_USEDIR_OPTIONS; | file | diff | annotate |
| Tue, 07 Aug 2007 20:19:54 +0200 | wenzelm | usedir: added options -M -T for multithreading; | file | diff | annotate |
| Mon, 18 Sep 2006 19:12:43 +0200 | wenzelm | isatool browser: renamed option -d to -c (cf. isatool tool) | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:32 +0200 | wenzelm | isatool usedir: added option -C; | file | diff | annotate |
| Thu, 18 Aug 2005 11:17:34 +0200 | wenzelm | usedir: tuned option -V; | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:20 +0200 | wenzelm | isatool usedir: option -V and -f; | file | diff | annotate |
| Sat, 12 Jun 2004 22:44:58 +0200 | wenzelm | added option 'isatool latex -o syms'; | file | diff | annotate |
| Fri, 08 Mar 2002 15:33:32 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 04 Mar 2002 22:32:58 +0100 | wenzelm | isatool usedir -D generated Foo && isatool document Foo/generated; | file | diff | annotate |
| Wed, 09 Jan 2002 17:36:54 +0100 | wenzelm | no longer requires TEXINPUTS; | file | diff | annotate |
| Fri, 21 Dec 2001 19:56:19 +0100 | wenzelm | isatool browser -o; | file | diff | annotate |
| Tue, 11 Dec 2001 15:36:28 +0100 | wenzelm | updated; | file | diff | annotate |
| Fri, 28 Sep 2001 14:04:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 27 Sep 2001 12:25:09 +0200 | wenzelm | updated; | file | diff | annotate |
| Mon, 04 Dec 2000 23:16:25 +0100 | wenzelm | include table of Isabelle standard symbols; | file | diff | annotate |
| Fri, 01 Dec 2000 19:40:42 +0100 | wenzelm | usedir: -m option; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Tue, 04 Jul 2000 01:10:53 +0200 | wenzelm | fixed usage; | file | diff | annotate |
| Fri, 30 Jun 2000 12:31:57 +0200 | wenzelm | presentation: self-contained session dirs; | file | diff | annotate |
| 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 |