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.
tuned pics;
authorwenzelm
Mon, 02 Nov 1998 22:16:49 +0100
changeset 5796 dd83042c2f70
parent 5795 7ad4d71adfe1
child 5797 cdd2add0fd96
tuned pics;
Admin/page/cambridge.gif file | annotate | diff | comparison | revisions
Admin/page/index.html file | annotate | diff | comparison | revisions 
Binary file Admin/page/cambridge.gif has changed
--- a/Admin/page/index.html	Mon Nov 02 22:00:12 1998 +0100
+++ b/Admin/page/index.html	Mon Nov 02 22:16:49 1998 +0100
@@ -130,10 +130,11 @@
 <h2>Further information</h2>
 
 <a href="http://www.cl.cam.ac.uk/Research/HVG/cambridge.html"><img
-src="cambridge.gif" width=144 align=right alt="[Cambridge]"></a> <a
+src="cambridge.gif" width=144 border=0 align=right
+alt="[Cambridge]"></a> <a
 href="http://www.in.tum.de/~isabelle/munich.html"><img
-src="munich.gif" width=47 align=right alt="[Munich]"></a> The local
-Isabelle pages at <a
+src="munich.gif" width=47 border=0 align=right alt="[Munich]"></a> The
+local Isabelle pages at <a
 href="http://www.cl.cam.ac.uk/Research/HVG/cambridge.html">Cambridge</a>
 and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a>
 provide further information on Isabelle and related projects.
isabelle