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>