# HG changeset patch
# User wenzelm
# Date 1262639808 -3600
# Node ID 2dd2547acb410e9ecc9a2d9605038a81a205680a
# Parent  14f6df4f473d78384cc9d4f46967b7922f42a6fc
discontinued old ISABELLE and ISATOOL environment settings;

diff -r 14f6df4f473d -r 2dd2547acb41 NEWS
--- 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)
diff -r 14f6df4f473d -r 2dd2547acb41 lib/scripts/getsettings
--- 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 ()
 {