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 @@
Interpretation
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 @@
Acknowledgment
-The logo is contributed by Franziska Wenzel, Munich. Thanks
-Franziska!
+The logo is contributed by Franziska
+Wenzel, Munich. It had been designed on Apple Macintosh.
@@ -49,7 +50,8 @@
+alt="[Isabelle logo (transparent)]"> Note: This may look bad on
+black and white displays.