Tuned.

--- a/Admin/page/main-content/overview.content	Wed Nov 17 22:18:52 2004 +0100
+++ b/Admin/page/main-content/overview.content	Thu Nov 18 14:02:29 2004 +0100
@@ -36,7 +36,7 @@
 closely integrated with the <a
 href="http://proofgeneral.inf.ed.ac.uk/">Proof
 General</a> user interface, which eases the task of writing and
-maintaining proof scripts.. </p>
+maintaining proof scripts. </p>
 
 <p>Isabelle comes with large theories of formally verified
 mathematics, including elementary number theory (for example, Gauss's