--- a/NEWS Mon Jan 04 21:49:47 2010 +0100
+++ b/NEWS Mon Jan 04 22:16:48 2010 +0100
@@ -54,6 +54,10 @@
ISABELLE_USEDIR_OPTIONS applies uniformly to all sessions. Note that
proof terms are enabled unconditionally in the new HOL-Proofs image.
+* Discontinued old ISABELLE and ISATOOL environment settings (legacy
+feature since Isabelle2009). Use ISABELLE_PROCESS and ISABELLE_TOOL,
+respectively.
+
New in Isabelle2009-1 (December 2009)
--- a/lib/scripts/getsettings Mon Jan 04 21:49:47 2010 +0100
+++ b/lib/scripts/getsettings Mon Jan 04 22:16:48 2010 +0100
@@ -21,9 +21,6 @@
#key executables
ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
-#legacy settings
-ISABELLE="$ISABELLE_PROCESS"
-ISATOOL="$ISABELLE_TOOL"
function isabelle-process ()
{