Admin/website/overview.html

--- a/Admin/website/overview.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/overview.html	Thu Jun 30 08:57:53 2005 +0200
@@ -15,6 +15,7 @@
     <div class="hr"><hr/></div>
     <div id="content">
       <?include file="//include/mirrorlist.major.include.html"?>
+      <div class="hr"><hr/></div>
       <h2>What is Isabelle?</h2> 
       <p>
       Isabelle is a generic proof assistant. It allows mathematical