equal
deleted
inserted
replaced
18 |
18 |
19 [ "$#" -eq 0 -o "$1" = "-?" ] && usage |
19 [ "$#" -eq 0 -o "$1" = "-?" ] && usage |
20 |
20 |
21 for FILE in "$@" |
21 for FILE in "$@" |
22 do |
22 do |
23 (echo "theory Nitrox_Run imports Main begin" && |
23 echo "theory Scratch imports \"Nitpick\" begin ML {* Nitrox.pick_nits_in_fof_file \"$FILE\" *} end;" \ |
24 echo "ML {* Nitrox.pick_nits_in_fof_file \"$FILE\" *}" && |
24 > /tmp/$ISABELLE_TMP/Scratch.thy |
25 echo "end;") | isabelle tty |
25 $ISABELLE_PROCESS -e "use_thy \"/tmp/$ISABELLE_TMP/Scratch\"; exit 1;" |
26 done |
26 done |