Admin/isatest-check

     echo "Have a nice day," >> $TMP
     echo "  isatest" >> $TMP
 
     for R in $MAILTO; do
         LOGS=$ERRORDIR/isatest*.log
-        $MAIL "isabelle test taking to long" $R $TMP $LOGS
+        $MAIL "isabelle test taking too long" $R $TMP $LOGS
     done
     
     exit 1
 fi