lib/scripts/getsettings
changeset 28499 eff93bc3c14f
parent 28055 eb855c3db657
child 28504 7ad7d7d6df47
     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=""