Admin/website/overview.html

--- a/Admin/website/overview.html	Tue Jun 28 12:25:19 2005 +0200
+++ b/Admin/website/overview.html	Tue Jun 28 12:32:38 2005 +0200
@@ -14,6 +14,7 @@
     <?include file="//include/navigation.include.html"?>
     <div class="hr"><hr/></div>
     <div id="content">
+      <?include file="//include/mirrorlist.major.include.html"?>
       <h2>What is Isabelle?</h2> 
       <p>
       Isabelle is a generic proof assistant. It allows mathematical