lib/scripts/getsettings
changeset 56440 aab984137bcd
parent 56439 95e2656b3b23
child 56448 344800503974
equal deleted inserted replaced
56439:95e2656b3b23 56440:aab984137bcd
    42 fi
    42 fi
    43 
    43 
    44 export ISABELLE_HOME
    44 export ISABELLE_HOME
    45 
    45 
    46 #key executables
    46 #key executables
       
    47 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
    47 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
    48 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
    48 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
    49 
       
    50 function isabelle ()
       
    51 {
       
    52   "$ISABELLE_TOOL" "$@"
       
    53 }
    49 
    54 
    50 function isabelle_process ()
    55 function isabelle_process ()
    51 {
    56 {
    52   "$ISABELLE_PROCESS" "$@"
    57   "$ISABELLE_PROCESS" "$@"
    53 }
    58 }
    54 
    59 
    55 function isabelle ()
    60 function isabelle_scala_script ()
    56 {
    61 {
    57   "$ISABELLE_TOOL" "$@"
    62   "$ISABELLE_HOME/bin/isabelle_scala_script" "$@"
    58 }
    63 }
    59 
    64 
    60 #platform
    65 #platform
    61 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
    66 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
    62 if [ -z "$ISABELLE_PLATFORM" ]; then
    67 if [ -z "$ISABELLE_PLATFORM" ]; then