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.
fixed center;
authorwenzelm
Thu, 27 Aug 1998 14:04:13 +0200
changeset 5388 678f34b3d560
parent 5387 8f1157817bb6
child 5389 f8da956f59c4
fixed center;
lib/html/index1.html file | annotate | diff | comparison | revisions
lib/html/index2.html file | annotate | diff | comparison | revisions 
--- a/lib/html/index1.html	Thu Aug 27 13:53:41 1998 +0200
+++ b/lib/html/index1.html	Thu Aug 27 14:04:13 1998 +0200
@@ -4,7 +4,7 @@
 
 <body>
 
-<img src="gif/isabelle.gif" alt="Isabelle" align=center>
+<center><img src="gif/isabelle.gif" alt="Isabelle"></center>
 
 <p>
 
--- a/lib/html/index2.html	Thu Aug 27 13:53:41 1998 +0200
+++ b/lib/html/index2.html	Thu Aug 27 14:04:13 1998 +0200
@@ -4,7 +4,7 @@
 
 <body>
 
-<img src="../gif/isabelle.gif" alt="Isabelle" align=center>
+<center><img src="../gif/isabelle.gif" alt="Isabelle"></center>
 
 <p>
isabelle