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.
Regrouped logo
authornipkow
Thu, 30 May 1996 13:29:52 +0200
changeset 1774 bc584c1b8426
parent 1773 5f94ddc07de2
child 1775 3f5382e95e1e
Regrouped logo
index.html file | annotate | diff | comparison | revisions 
--- a/index.html	Wed May 29 13:53:39 1996 +0200
+++ b/index.html	Thu May 30 13:29:52 1996 +0200
@@ -1,8 +1,9 @@
 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
 <center>
-<H2>
-<img align=middle src="Tools/Isabelle.gif"> <i>The Logical Choice!</i>
-</H2> 
+ <H2>
+ <img src="Tools/Isabelle.gif"><P>
+ <i>The Logical Choice!</i>
+ </H2>
 </center>
 <P>
 Click on the logic's name to view a list of its theories.
isabelle