Admin/index.html
changeset 4580 ae3caeb19589
parent 4576 be6b5edbca9f
child 4632 0a365c3e4b27
--- 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>