Admin/website/overview.html

--- a/Admin/website/overview.html	Tue Jun 28 16:12:03 2005 +0200
+++ b/Admin/website/overview.html	Tue Jun 28 16:12:03 2005 +0200
@@ -85,7 +85,6 @@
       <p>Isabelle is closely integrated with the <a href=
       "http://proofgeneral.inf.ed.ac.uk/">ProofGeneral</a> user interface, which
       eases the task of writing and maintaining proof scripts.</p>
-      <br clear="all" />
 
       <p>Ample <a href="dist/documentation.html">documentation</a> is available
       about using Isabelle and its inner concepts, including a