Admin/website/community.html

--- a/Admin/website/community.html	Sun Jun 26 15:16:58 2005 +0200
+++ b/Admin/website/community.html	Tue Jun 28 09:41:39 2005 +0200
@@ -21,7 +21,7 @@
       href="&#109;&#97;&#105;&#108;&#116;&#111;:&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;">&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;</a>
       and its <a
       href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
-      discuss problems and results.  To subscribe, <a
+      discuss problems and results. To subscribe, <a
       href="&#109;&#97;&#105;&#108;&#116;&#111;:&#108;&#99;&#112;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;?subject=subscribe&amp;body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact
       Larry Paulson</a>.</p>