--- a/Admin/page/index.html Wed Jan 20 17:59:19 1999 +0100
+++ b/Admin/page/index.html Wed Jan 20 18:07:34 1999 +0100
@@ -7,7 +7,7 @@
<body>
-<h1>Isabelle </h1> <a href="http://www.in.tum.de/~isabelle/logo/"><img
+<h1>Isabelle </h1> <a href="http://isabelle.in.tum.de/logo/"><img
src="isabelle.gif" width=100 align=right alt="[Isabelle logo]"></a>
<p>
@@ -23,13 +23,13 @@
href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
src="cambridge.gif" width=145 border=0 align=right
alt="[Cambridge]"></a> <a
-href="http://www.in.tum.de/~isabelle/munich.html"><img
-src="munich.gif" width=48 border=0 align=right alt="[Munich]"></a>
-This page provides general information on Isabelle, more details are
-available on the local Isabelle pages at <a
+href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
+width=48 border=0 align=right alt="[Munich]"></a> This page provides
+general information on Isabelle, more details are available on the
+local Isabelle pages at <a
href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a>
-and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a>.
-See there for information on projects done with Isabelle, mailing list
+and <a href="http://isabelle.in.tum.de/munich.html">Munich</a>. See
+there for information on projects done with Isabelle, mailing list
archives, research papers, the Isabelle bibliography, and Isabelle
workshops and courses.