diff -r a30b7169fdd1 -r 7ad7d7d6df47 lib/logo/index.html
--- a/lib/logo/index.html	Sat Oct 04 16:19:49 2008 +0200
+++ b/lib/logo/index.html	Sat Oct 04 17:40:56 2008 +0200
@@ -22,7 +22,7 @@
 href="isabelle-small.xpm">small</a> and <a
 href="isabelle-tiny.xpm">tiny</a> Isabelle icons available.
 Furthermore, scalable (EPS) versions of the logo may be generated for
-any logic using the <tt>isatool logo</tt> utility distributed with
+any logic using the <tt>isabelle logo</tt> utility distributed with
 Isabelle.