runSPASS.sh revision 88f2dee2a7114aa6e060352990f425c682513bf0
#!/bin/sh
for i in $*
do
echo $i
SPASS -DocProof -PProblem=0 -PGiven=0 $i
done