| Thu, 15 Nov 2007 11:49:00 +0100 | wenzelm | cover ISABELLE_IDENTIFIER; | file | diff | annotate |
| Fri, 20 Jul 2007 19:09:11 +0200 | wenzelm | added ISABELLE_FILE_IDENT; | file | diff | annotate |
| Wed, 22 Nov 2006 19:55:22 +0100 | wenzelm | ML_IDENTIFIER includes Isabelle version; | file | diff | annotate |
| Mon, 09 Oct 2006 20:12:45 +0200 | wenzelm | isabelle-process: options -S, -X; | file | diff | annotate |
| Tue, 17 May 2005 18:10:34 +0200 | wenzelm | no longer support isa-FOO interface; | file | diff | annotate |
| Sat, 09 Apr 2005 15:34:38 +0200 | wenzelm | added PDF_VIEWER, ISABELLE_DOC_FORMAT; | file | diff | annotate |
| Sun, 13 Jun 2004 15:28:46 +0200 | wenzelm | added PRINT_COMMAND setting | file | diff | annotate |
| Fri, 08 Mar 2002 15:33:32 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 11 Dec 2001 15:36:28 +0100 | wenzelm | updated; | file | diff | annotate |
| Thu, 27 Sep 2001 12:25:09 +0200 | wenzelm | updated; | file | diff | annotate |
| Tue, 16 Jan 2001 00:23:14 +0100 | wenzelm | isabelle -f; | file | diff | annotate |
| Thu, 28 Sep 2000 14:48:05 +0200 | wenzelm | isabelle -C; | file | diff | annotate |
| Fri, 15 Sep 2000 16:54:26 +0200 | wenzelm | isabelle: -P option; | file | diff | annotate |
| Fri, 01 Sep 2000 18:01:05 +0200 | wenzelm | ISABELLE_PATH: ML_IDENTIFIER no longer added; | file | diff | annotate |
| Wed, 08 Mar 2000 17:44:53 +0100 | wenzelm | isabelle -c: tell ML system to compress output image; | 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 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 16:04:00 +0200 | wenzelm | replaced 'ProofGeneral' by 'Proof General'; | file | diff | annotate |
| Mon, 16 Aug 1999 14:22:45 +0200 | wenzelm | user infaces: tuned, added ProofGeneral; | file | diff | annotate |
| Tue, 13 Apr 1999 10:34:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 12 Apr 1999 15:52:48 +0200 | wenzelm | ML_PLATFORM; | file | diff | annotate |
| Mon, 09 Nov 1998 11:20:07 +0100 | wenzelm | isabelle -I; | 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 |
| Fri, 09 Jan 1998 14:03:39 +0100 | wenzelm | tuned ISABELLE_TMP_PREFIX; | file | diff | annotate |
| Thu, 08 Jan 1998 18:25:36 +0100 | wenzelm | updated to Isabelle98; | file | diff | annotate |
| Wed, 21 May 1997 17:11:46 +0200 | wenzelm | release version (sort of); | file | diff | annotate |
| Tue, 20 May 1997 19:34:24 +0200 | wenzelm | under construction; | 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 |