# HG changeset patch
# User wenzelm
# Date 918485684 -3600
# Node ID ee0b48ab5aeaa70445dd5be30b4412bf20f0c315
# Parent  e17fb80b3ce1a07c2ee42b831addf2bd8f511e2c
isatool logo;

diff -r e17fb80b3ce1 -r ee0b48ab5aea lib/logo/index.html
--- 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>