diff -r 8cd7ef5b8f9d -r ede5f78b9398 Admin/page/dist-content/index.content
--- a/Admin/page/dist-content/index.content	Sun Sep 17 13:51:37 2000 +0200
+++ b/Admin/page/dist-content/index.content	Sun Sep 17 22:15:08 2000 +0200
@@ -12,12 +12,12 @@
 
 <ul>	
 
-<li> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/source.html">Cambridge (UK)</a> <br>&nbsp;</li>
+<li> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/binary.html">Cambridge (UK)</a> <br>&nbsp;</li>
 
-<li> <a href="http://isabelle.in.tum.de/dist/source.html">Munich (Germany)</a> <br>&nbsp;</li>
+<li> <a href="http://isabelle.in.tum.de/dist/binary.html">Munich (Germany)</a> <br>&nbsp;</li>
 	
-<li> <a href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html">New Jersey (USA)</a> <br>&nbsp;</li>
+<li> <a href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/binary.html">New Jersey (USA)</a> <br>&nbsp;</li>
 
-<li> <a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html">Stanford (USA)</a> <br>&nbsp;</li>
+<li> <a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/binary.html">Stanford (USA)</a> <br>&nbsp;</li>
 
 </ul>