discontinued old ISABELLE and ISATOOL environment settings;
authorwenzelm
Mon Jan 04 22:16:48 2010 +0100 (2010-01-04)
changeset 342552dd2547acb41
parent 34254 14f6df4f473d
child 34256 da6573639ca1
discontinued old ISABELLE and ISATOOL environment settings;
NEWS
lib/scripts/getsettings
     1.1 --- a/NEWS	Mon Jan 04 21:49:47 2010 +0100
     1.2 +++ b/NEWS	Mon Jan 04 22:16:48 2010 +0100
     1.3 @@ -54,6 +54,10 @@
     1.4  ISABELLE_USEDIR_OPTIONS applies uniformly to all sessions.  Note that
     1.5  proof terms are enabled unconditionally in the new HOL-Proofs image.
     1.6  
     1.7 +* Discontinued old ISABELLE and ISATOOL environment settings (legacy
     1.8 +feature since Isabelle2009).  Use ISABELLE_PROCESS and ISABELLE_TOOL,
     1.9 +respectively.
    1.10 +
    1.11  
    1.12  
    1.13  New in Isabelle2009-1 (December 2009)
     2.1 --- a/lib/scripts/getsettings	Mon Jan 04 21:49:47 2010 +0100
     2.2 +++ b/lib/scripts/getsettings	Mon Jan 04 22:16:48 2010 +0100
     2.3 @@ -21,9 +21,6 @@
     2.4  #key executables
     2.5  ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
     2.6  ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
     2.7 -#legacy settings
     2.8 -ISABELLE="$ISABELLE_PROCESS"
     2.9 -ISATOOL="$ISABELLE_TOOL"
    2.10  
    2.11  function isabelle-process ()
    2.12  {