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

/hets/Isabelle/export/
H A Dexport.sh45 OUT_FILE="$2"
47 OUT_FILE="$TRANS.isa"
109 (File.write (Path.explode \"$OUT_FILE\") (XML.string_of xml))

Completed in 1456 milliseconds