diff -r 3087dafb70ec -r a0688fa916af lib/logo/index.html --- a/lib/logo/index.html Tue Aug 04 16:06:55 1998 +0200 +++ b/lib/logo/index.html Tue Aug 04 17:06:27 1998 +0200 @@ -16,7 +16,9 @@ The logo is available for the generic Isabelle system (plain, transparent) and major object logics (ZF, HOL, HOLCF). +href="#HOLCF">HOLCF). There are also small and tiny Isabelle icons available.