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