# HG changeset patch
# User wenzelm
# Date 876823034 -7200
# Node ID 0cfd4f97dd3236ecb6ff67a8b776e4cdf5d0935e
# Parent  16198fde5af52bed9f39e5ad91b1d08fcb6d18f2
tuned;

diff -r 16198fde5af5 -r 0cfd4f97dd32 lib/logo/index.html
--- a/lib/logo/index.html	Tue Oct 14 11:30:35 1997 +0200
+++ b/lib/logo/index.html	Tue Oct 14 11:57:14 1997 +0200
@@ -22,7 +22,7 @@
 <h2>Interpretation</h2>
 
 <img src="isabelle.gif" align=right alt="[Isabelle logo]"> First of
-all the logo tells about the name of the generic system, Isabelle, or
+all, the logo tells about the name of the generic system, Isabelle, or
 of its concrete instantiations, e.g. Isabelle/HOL.  It also expresses
 some essentials of the overall Isabelle design philosophy: Composition
 of several small well understood building blocks, grouped together or
@@ -40,8 +40,9 @@
 
 <h2>Acknowledgment</h2>
 
-The logo is contributed by Franziska Wenzel, Munich.  Thanks
-Franziska! <p>
+The logo is contributed by <a
+href="http://www.informatik.tu-muenchen.de/~wenzel/">Franziska
+Wenzel</a>, Munich.  It had been designed on Apple Macintosh. <p>
 
 
 <p><hr><p>
@@ -49,7 +50,8 @@
 <a name="plain"><img src="isabelle.gif" alt="[Isabelle logo]"></a> <p>
 
 <a name="transparent"><img src="isabelle_transparent.gif"
-alt="[Isabelle logo (transparent)]"></a> <p>
+alt="[Isabelle logo (transparent)]"></a> Note: This may look bad on
+black and white displays.  <p>
 
 <a name="ZF"><img src="isabelle_zf.gif" alt="[Isabelle logo
 (ZF)]"></a> <p>