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.
fixed typo
authorkleing
Sat, 30 Apr 2005 14:18:36 +0200
changeset 15900 d6156cb8dc2e
parent 15899 e30f9161890f
child 15901 3def24755c37
fixed typo
Admin/isatest-doc file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-doc	Sat Apr 30 14:06:58 2005 +0200
+++ b/Admin/isatest-doc	Sat Apr 30 14:18:36 2005 +0200
@@ -111,7 +111,7 @@
   echo "$(date) $HOSTNAME $PRG: doc test FAILED for ${FAIL}, elapsed time $ELAPSED." >> $MASTERLOG
 
   cat > $TMP <<EOF
-Session(s) ${FAILED} in the documentation test failed (log attached).
+Session(s) ${FAIL} in the documentation test failed (log attached).
 Test ended on: $HOSTNAME, `date`.
 
 Have a nice day,
isabelle