changeset 6257 ee0b48ab5aea
parent 5384 c974451df466
child 7807 6a102f74ad0a
--- 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 @@
-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