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 URL;
authorwenzelm
Thu, 15 Jan 1998 14:16:46 +0100
changeset 4580 ae3caeb19589
parent 4579 4f1e445b20d7
child 4581 52edf5ac3afa
tuned URL;
Admin/index.html file | annotate | diff | comparison | revisions 
--- a/Admin/index.html	Thu Jan 15 14:15:57 1998 +0100
+++ b/Admin/index.html	Thu Jan 15 14:16:46 1998 +0100
@@ -9,7 +9,7 @@
 
 <body>
 
-<h1><a href="http://www.cl.cam.ac.uk/Research/HVG/isabelle.html"><img
+<h1><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/"><img
 align=bottom src="{ISABELLE}/lib/logo/isabelle.gif" width=100
 alt="Isabelle"></a> Distribution Area</h1>
isabelle