Admin/isatest-check

     echo >> $TMP
     echo "Have a nice day," >> $TMP
     echo "  isatest" >> $TMP
 
     for R in $ADMIN; do
-        $MAIL "isabelle taking to long" $R $TMP
+        $MAIL "isabelle test taking to long" $R $TMP
     done
     
     exit 1
 fi