Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Changed logo.
authorberghofe
Sun, 12 Oct 1997 22:06:00 +0200
changeset 3845 7fde09d61bc0
parent 3844 7704dc8997ed
child 3846 6061fa463784
Changed logo.
lib/html/index1.html file | annotate | diff | comparison | revisions
lib/html/index2.html file | annotate | diff | comparison | revisions 
--- a/lib/html/index1.html	Sun Oct 12 22:04:06 1997 +0200
+++ b/lib/html/index1.html	Sun Oct 12 22:06:00 1997 +0200
@@ -1,9 +1,6 @@
 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
 <center>
- <H2>
- <img src="gif/Isabelle.gif"><P>
- <i>The Logical Choice!</i>
- </H2>
+ <img src="gif/isabelle.gif"><P>
 </center>
 <P>
 <A HREF="graph/index.html">View version for Java-capable browsers</A>
--- a/lib/html/index2.html	Sun Oct 12 22:04:06 1997 +0200
+++ b/lib/html/index2.html	Sun Oct 12 22:06:00 1997 +0200
@@ -1,9 +1,6 @@
 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
 <center>
- <H2>
- <img src="../gif/Isabelle.gif"><P>
- <i>The Logical Choice!</i>
- </H2>
+ <img src="../gif/isabelle.gif"><P>
 </center>
 <P>
 <A HREF="../index.html">View version for non-Java-capable browsers</A>
isabelle