--- a/Admin/page/dist-content/index.content Tue Dec 21 15:03:02 1999 +0100
+++ b/Admin/page/dist-content/index.content Wed Dec 22 16:12:38 1999 +0100
@@ -12,12 +12,12 @@
<ul>
-<li> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge (UK)</a> <br> </li>
+<li> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/source.html">Cambridge (UK)</a> <br> </li>
-<li> <a href="http://isabelle.in.tum.de/dist/">Munich (Germany)</a> <br> </li>
+<li> <a href="http://isabelle.in.tum.de/dist/source.html">Munich (Germany)</a> <br> </li>
-<li> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html">New Jersey (USA)</a> <br> </li>
+<li> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html">New Jersey (USA)</a> <br> </li>
</ul>