Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
typo
authorkleing
Fri, 09 May 2003 11:56:16 +0200
changeset 13989 1a3782a12d47
parent 13988 28c953b54cbe
child 13990 506102b6a6d4
typo
Admin/isatest-check file | annotate | diff | comparison | revisions 
--- 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
isabelle