Admin/isatest-check

--- a/Admin/isatest-check	Fri May 09 11:54:33 2003 +0200
+++ b/Admin/isatest-check	Fri May 09 11:56:16 2003 +0200
@@ -71,7 +71,7 @@
     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