lib/logo/index.html
1999-10-08 wenzelm 1999-10-08 tuned;
1999-02-08 wenzelm 1999-02-08 isatool logo;
1998-08-27 wenzelm 1998-08-27 href eps versions;
1998-08-04 wenzelm 1998-08-04 added icons;
1997-11-10 wenzelm 1997-11-10 fixed spelling;
1997-10-14 wenzelm 1997-10-14 tuned;
1997-10-07 wenzelm 1997-10-07 tuned;
1997-10-07 wenzelm 1997-10-07 The Isabelle Logo;