ISABELLE_PROCESS replaces ISABELLE and ISABELLE_TOOL replaces ISATOOL -- old bindings stay for a while (legacy feature);
authorwenzelm
Sat Oct 04 16:05:08 2008 +0200 (2008-10-04)
changeset 28499eff93bc3c14f
parent 28498 cb1b43edb5ed
child 28500 4b79e5d3d0aa
ISABELLE_PROCESS replaces ISABELLE and ISABELLE_TOOL replaces ISATOOL -- old bindings stay for a while (legacy feature);
lib/scripts/getsettings
     1.1 --- a/lib/scripts/getsettings	Sat Oct 04 14:43:40 2008 +0200
     1.2 +++ b/lib/scripts/getsettings	Sat Oct 04 16:05:08 2008 +0200
     1.3 @@ -19,8 +19,11 @@
     1.4  fi
     1.5  
     1.6  #key executables
     1.7 -ISABELLE="$ISABELLE_HOME/bin/isabelle-process"
     1.8 -ISATOOL="$ISABELLE_HOME/bin/isatool"
     1.9 +ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
    1.10 +ISABELLE_TOOL="$ISABELLE_HOME/bin/isatool"
    1.11 +#legacy settings
    1.12 +ISABELLE="$ISABELLE_PROCESS"
    1.13 +ISATOOL="$ISABELLE_TOOL"
    1.14  
    1.15  #Isabelle distribution identifier -- filled in automatically!
    1.16  ISABELLE_IDENTIFIER=""