]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/contribs/ng_TPTP/run_veloci.sh
New management of justifications.
[helm.git] / matitaB / matita / contribs / ng_TPTP / run_veloci.sh
1 for X in `cat Veloci`;
2 do
3 echo $X;
4 touch $X;
5 ../../matitac.opt $X 2> /dev/null
6 done
7