--- a/Admin/website/dist/index.html Sat Jun 04 22:38:40 2005 +0200
+++ b/Admin/website/dist/index.html Sat Jun 04 22:38:40 2005 +0200
@@ -19,13 +19,13 @@
<p>First, you might like to switch to a nearby mirror:</p>
<ul>
- <li><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/download.html">Cambridge
+ <li><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge
(UK)</a></li>
- <li><a href="http://isabelle.in.tum.de/dist/download.html">Munich
+ <li><a href="http://isabelle.in.tum.de/dist/">Munich
(Germany)</a></li>
- <li><a href="http://mirror.cse.unsw.edu.au/pub/isabelle/download.html">Sydney
+ <li><a href="http://mirror.cse.unsw.edu.au/pub/isabelle/">Sydney
(Australia)</a></li>
</ul>
</div>