lib/logo/index.html

 
 
 <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
 arranged in layers. <p>
 

 quantification.
 
 
 <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>
 
 <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>
 
 <a name="HOL"><img src="isabelle_hol.gif" alt="[Isabelle logo