# HG changeset patch
# User paulson
# Date 1147796426 -7200
# Node ID f0594a06f2f058688695b10430a870c6af965185
# Parent  247ca17caddd1a449d4afdb3497c54b3751f3fda
replaced references to the robot by the mailing list page

diff -r 247ca17caddd -r f0594a06f2f0 Admin/website/community.html
--- a/Admin/website/community.html	Tue May 16 14:11:39 2006 +0200
+++ b/Admin/website/community.html	Tue May 16 18:20:26 2006 +0200
@@ -37,9 +37,8 @@
           "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
           <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</a>.
-    </p>
+          Why not <a href="https://lists.cam.ac.uk/mailman/listinfo/cl-isabelle-users">subscribe</a>?
+</p>
 
       <h2>Contributing theorems</h2>
 
diff -r 247ca17caddd -r f0594a06f2f0 Admin/website/documentation.html
--- a/Admin/website/documentation.html	Tue May 16 14:11:39 2006 +0200
+++ b/Admin/website/documentation.html	Tue May 16 18:20:26 2006 +0200
@@ -35,9 +35,8 @@
           "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
           <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</a>.
-            </p>
+          Why not <a href="https://lists.cam.ac.uk/mailman/listinfo/cl-isabelle-users">subscribe</a>?
+</p>
         <p>Please consult the <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent
         problems.</p>
 
diff -r 247ca17caddd -r f0594a06f2f0 Admin/website/index.html
--- a/Admin/website/index.html	Tue May 16 14:11:39 2006 +0200
+++ b/Admin/website/index.html	Tue May 16 18:20:26 2006 +0200
@@ -73,8 +73,7 @@
           "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
           <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</a>.
+      Why not <a href="https://lists.cam.ac.uk/mailman/listinfo/cl-isabelle-users">subscribe</a>?
 </p>
 
     </div>