lib/logo/index.html
2009-11-14 wenzelm 2009-11-14 eliminated obsolete CVS Ids; tuned headers;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
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;