--- a/Admin/website/index.html Mon Jul 04 14:42:06 2005 +0200
+++ b/Admin/website/index.html Mon Jul 04 15:15:55 2005 +0200
@@ -101,7 +101,7 @@
<p>
The Isabelle distribution is distributed <em>for free</em> and available
-from several <a href="dist/index.html">mirror sites</a>. It includes
+from several <a href="mirrors.html">mirror sites</a>. It includes
source and binary packages and browsable documentation. You can also
browse the <a href="//library/index.html">Isabelle theory library</a>
online.