diff -r 9d15911f1893 -r bc0bef4a124e Admin/website/community.html
--- a/Admin/website/community.html	Wed May 03 12:05:53 2006 +0200
+++ b/Admin/website/community.html	Wed May 03 17:41:28 2006 +0200
@@ -27,6 +27,10 @@
       "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/projects.html">projects</a>
       undertaken using Isabelle.</p>
 
+      <h2>Isabelle in your neighbourhood</h2>
+
+      <p>Find out on the <a href="//world_map.html">world map</a>!</p>
+
       <h2>Mailing list</h2> 
 
       <p>You may use the mailing list <a href=
@@ -34,7 +38,7 @@
           <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to discuss
           problems and results.
           To subscribe, contact our robot:
-          <a href="mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe</a>.
+          <a href="mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">Cl-isabelle-users-request@lists.cam.ac.uk</a>.
     </p>
 
       <h2>Contributing theorems</h2>