lib/logo/index.html
1997-11-10 ago fixed spelling;
1997-10-14 ago tuned;
1997-10-07 ago tuned;
1997-10-07 ago The Isabelle Logo;