checkML.sh revision 3a6266ac21c1a3492d51968584d7c56043dce32b
#!/bin/sh
# testing ML formulae
for i in *.m
do
echo "~~~"
../main 5 $i
done