| 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 |