# HG changeset patch
# User berghofe
# Date 1100782949 -3600
# Node ID 36fb400f67275ba17fd99195e6e7af2190e3045d
# Parent  9560572968d547a8a1152c19726ee28e8f0fd74b
Tuned.

diff -r 9560572968d5 -r 36fb400f6727 Admin/page/main-content/overview.content
--- 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