--- a/lib/logo/index.html Mon Feb 08 15:53:56 1999 +0100
+++ b/lib/logo/index.html Mon Feb 08 15:54:44 1999 +0100
@@ -13,15 +13,15 @@
<h2>Versions</h2>
-The logo is available for the generic Isabelle system (<a
-href="#plain">plain</a>, <a href="#transparent">transparent</a>) and
-major object logics (<a href="#ZF">ZF</a>, <a href="#HOL">HOL</a>, <a
-href="#HOLCF">HOLCF</a>). There are also <a
+The logo is available as bitmap file for the generic Isabelle system
+(<a href="#plain">plain</a>, <a href="#transparent">transparent</a>)
+and major object logics (<a href="#ZF">ZF</a>, <a href="#HOL">HOL</a>,
+<a href="#HOLCF">HOLCF</a>). There are also <a
href="isabelle-small.xpm">small</a> and <a
href="isabelle-tiny.xpm">tiny</a> Isabelle icons available.
-Furthermore, there are EPS versions of the <a
-href="isabelle.eps">plain</a> and the <a
-href="isabelle_hol.eps">HOL</a> Isabelle logo.
+Furthermore, scalable (EPS) versions of the logo may be generated for
+any logic using the <tt>isatool logo</tt> utility distributed with
+Isabelle.
<h2>Interpretation</h2>