fork for Matita version B

[helm.git] / matitaB / matita / contribs / ng_TPTP / run_veloci.sh

diff --git a/matitaB/matita/contribs/ng_TPTP/run_veloci.sh b/matitaB/matita/contribs/ng_TPTP/run_veloci.sh
new file mode 100755 (executable)
index 0000000..8420b05
--- /dev/null
+++ b/matitaB/matita/contribs/ng_TPTP/run_veloci.sh
@@ -0,0 +1,7 @@
+for X in `cat Veloci`;
+do
+echo $X;
+touch $X;
+../../matitac.opt $X 2> /dev/null
+done
+