--- a/Admin/website/dist/index.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/dist/index.html	Thu Jun 30 08:57:53 2005 +0200
@@ -13,7 +13,11 @@
     <div class="hr"><hr/></div>
     <?include file="//include/navigation_dist.include.html"?>
     <div class="hr"><hr/></div>
+
     <div id="content">
+      <?include file="//include/mirrorlist.minor.include.html"?>
+      <div class="hr"><hr/></div>
+
       <h2>Welcome to the Isabelle Distribution!</h2>
 
       <p>First, you might like to switch to a nearby mirror:</p>