# HG changeset patch
# User wenzelm
# Date 902243187 -7200
# Node ID a0688fa916af2b563fc4636782f9f02bdfc1c419
# Parent  3087dafb70ec6ac82ae0547e0e07f7c81a1917ec
added icons;

diff -r 3087dafb70ec -r a0688fa916af lib/logo/index.html
--- a/lib/logo/index.html	Tue Aug 04 16:06:55 1998 +0200
+++ b/lib/logo/index.html	Tue Aug 04 17:06:27 1998 +0200
@@ -16,7 +16,9 @@
 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>).
+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.
 
 
 <h2>Interpretation</h2>