--- a/Admin/isatest-check Sat Jun 11 12:55:25 2005 +0200
+++ b/Admin/isatest-check Sat Jun 11 15:42:51 2005 +0200
@@ -68,7 +68,7 @@
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