lib/scripts/getsettings
changeset 56448 344800503974
parent 56440 aab984137bcd
child 57411 9444489766a1
     1.1 --- a/lib/scripts/getsettings	Mon Apr 07 13:06:34 2014 +0200
     1.2 +++ b/lib/scripts/getsettings	Mon Apr 07 13:11:31 2014 +0200
     1.3 @@ -46,6 +46,7 @@
     1.4  #key executables
     1.5  ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
     1.6  ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
     1.7 +ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
     1.8  
     1.9  function isabelle ()
    1.10  {
    1.11 @@ -59,7 +60,7 @@
    1.12  
    1.13  function isabelle_scala_script ()
    1.14  {
    1.15 -  "$ISABELLE_HOME/bin/isabelle_scala_script" "$@"
    1.16 +  "$ISABELLE_SCALA_SCRIPT" "$@"
    1.17  }
    1.18  
    1.19  #platform