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