Searched refs:ISABELLE (Results 1 - 2 of 2) sorted by relevance

/hets/Isabelle/export/
H A Dtest_parser.sh39 ISABELLE="$ISABELLE_BIN_PATH/isabelle"
40 if [ ! -e $ISABELLE ]; then
46 ISABELLE=`which isabelle`
53 if [ ! -x $ISABELLE ]; then
54 echo "$ISABELLE is not executable"
86 ) | ($ISABELLE tty) | tee $TEMP_FILE
H A Dexport.sh51 ISABELLE="$ISABELLE_BIN_PATH/isabelle"
52 if [ ! -e $ISABELLE ]; then
58 ISABELLE=`which isabelle`
65 if [ ! -x $ISABELLE ]; then
66 echo "v0:$ISABELLE is not executable" > $COMM_FILE
113 ) | ($ISABELLE tty -l HOLCF) | tee $TEMP_FILE

Completed in 19 milliseconds