changeset 28504 | 7ad7d7d6df47 |
parent 15585 | 513aa9a3a26d |
child 33686 | 8e33ca8832b1 |
--- 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.