History log of /seL4-l4v-10.1.1/isabelle/lib/logo/index.html
Revision Date Author Comments
# 8096421a 14-Nov-2009 wenzelm <none@none>

eliminated obsolete CVS Ids;
tuned headers;
# f208fd4b 04-Oct-2008 wenzelm <none@none>

simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
# 60b31209 07-Mar-2005 webertj <none@none>

HTML 4.01 Transitional conformity
# 569aef63 08-Oct-1999 wenzelm <none@none>

tuned;
# 9e3f27ed 08-Feb-1999 wenzelm <none@none>

isatool logo;
# 1b335331 27-Aug-1998 wenzelm <none@none>

href eps versions;
# a0e81587 04-Aug-1998 wenzelm <none@none>

added icons;
# c4dce4fe 10-Nov-1997 wenzelm <none@none>

fixed spelling;
# bd36302c 14-Oct-1997 wenzelm <none@none>

tuned;
# f7515102 06-Oct-1997 wenzelm <none@none>

tuned;
# 4a8bd6fa 06-Oct-1997 wenzelm <none@none>

The Isabelle Logo;