--- 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>