shell functions for all Isabelle executables;
authorwenzelm
Sun Apr 06 17:09:32 2014 +0200 (2014-04-06)
changeset 56440aab984137bcd
parent 56439 95e2656b3b23
child 56442 681717041f55
shell functions for all Isabelle executables;
lib/scripts/getsettings
     1.1 --- a/lib/scripts/getsettings	Sun Apr 06 16:59:41 2014 +0200
     1.2 +++ b/lib/scripts/getsettings	Sun Apr 06 17:09:32 2014 +0200
     1.3 @@ -44,17 +44,22 @@
     1.4  export ISABELLE_HOME
     1.5  
     1.6  #key executables
     1.7 +ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
     1.8  ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
     1.9 -ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
    1.10 +
    1.11 +function isabelle ()
    1.12 +{
    1.13 +  "$ISABELLE_TOOL" "$@"
    1.14 +}
    1.15  
    1.16  function isabelle_process ()
    1.17  {
    1.18    "$ISABELLE_PROCESS" "$@"
    1.19  }
    1.20  
    1.21 -function isabelle ()
    1.22 +function isabelle_scala_script ()
    1.23  {
    1.24 -  "$ISABELLE_TOOL" "$@"
    1.25 +  "$ISABELLE_HOME/bin/isabelle_scala_script" "$@"
    1.26  }
    1.27  
    1.28  #platform