diff -r a30b7169fdd1 -r 7ad7d7d6df47 lib/Tools/makeall
--- a/lib/Tools/makeall	Sat Oct 04 16:19:49 2008 +0200
+++ b/lib/Tools/makeall	Sat Oct 04 17:40:56 2008 +0200
@@ -19,7 +19,7 @@
   echo
   echo "Usage: $PRG [ARGS ...]"
   echo
-  echo "  Apply isatool make to all logics (passing ARGS)."
+  echo "  Apply isabelle make to all logics (passing ARGS)."
   echo
   exit 1
 }