# HG changeset patch
# User wenzelm
# Date 904211492 -7200
# Node ID c974451df466ff387327c589c556c2c7625aacf5
# Parent  74c2da44d144d4e577ce5f62050140b48cbd8e7e
href eps versions;

diff -r 74c2da44d144 -r c974451df466 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>