lib/logo/index.html

--- a/lib/logo/index.html	Thu Aug 27 11:50:18 1998 +0200
+++ b/lib/logo/index.html	Thu Aug 27 11:51:32 1998 +0200
@@ -19,6 +19,9 @@
 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.
 
 
 <h2>Interpretation</h2>