diff -r 3478bb4f93ff -r 513aa9a3a26d lib/logo/index.html --- a/lib/logo/index.html Mon Mar 07 19:30:53 2005 +0100 +++ b/lib/logo/index.html Mon Mar 07 19:41:04 2005 +0100 @@ -1,10 +1,12 @@ + + + - - -The Isabelle Logo + + The Isabelle Logo @@ -54,18 +56,14 @@ [Isabelle logo]

- Note: This may look bad on -black and white displays.

+[Isabelle logo (transparent)] Note: This may look bad on +black and white displays.

-[Isabelle logo
-(ZF)]

+[Isabelle logo (ZF)]

-[Isabelle logo
-(HOL)]

+[Isabelle logo (HOL)]

-[Isabelle logo
-(HOLCF)] +[Isabelle logo (HOLCF)]