lib/scripts/getsettings
changeset 34257 b5176fd9ab3c
parent 34255 2dd2547acb41
child 36194 8e61560ded89
equal deleted inserted replaced
34256:da6573639ca1 34257:b5176fd9ab3c
    19 fi
    19 fi
    20 
    20 
    21 #key executables
    21 #key executables
    22 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
    22 ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process"
    23 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
    23 ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
    24 
       
    25 function isabelle-process ()
       
    26 {
       
    27   "$ISABELLE_PROCESS" "$@"
       
    28 }
       
    29 
    24 
    30 function isabelle ()
    25 function isabelle ()
    31 {
    26 {
    32   "$ISABELLE_TOOL" "$@"
    27   "$ISABELLE_TOOL" "$@"
    33 }
    28 }