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

/hets/Isabelle/export/
H A Dexport.sh21 COMM_FILE="$3"
23 COMM_FILE="/dev/stdin"
27 echo "v0:Nothing to translate!" > $COMM_FILE
32 echo "v0:Cannot find $1" > $COMM_FILE
40 echo "v0:Cannot read file $TRANS.thy" > $COMM_FILE
53 echo "v0:Cannot find isabelle executable. Maybe you didn't specify ISABELLE_BIN_PATH correctly?" > $COMM_FILE
60 echo "v0:Cannot find isabelle executable. Maybe you need to specify ISABELLE_BIN_PATH?" > $COMM_FILE
66 echo "v0:$ISABELLE is not executable" > $COMM_FILE
80 echo "v1:Starting Isabelle" > $COMM_FILE
94 val out = fn (i,s) => out' (\"$COMM_FILE\",
[all...]

Completed in 1755 milliseconds