Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
now for Mailman-enabled mailing list
authorpaulson
Thu, 28 Jul 2005 12:22:02 +0200
changeset 16926 cd1968ec7103
parent 16925 0fd7b1438d28
child 16927 f003e0d35181
now for Mailman-enabled mailing list
Admin/website/documentation.html file | annotate | diff | comparison | revisions 
--- a/Admin/website/documentation.html	Wed Jul 27 11:30:34 2005 +0200
+++ b/Admin/website/documentation.html	Thu Jul 28 12:22:02 2005 +0200
@@ -35,8 +35,8 @@
           "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
           <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss
           problems and results. To subscribe, <a href=
-          "mailto:lcp@cl.cam.ac.uk?subject=subscribe&amp;body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">
-          contact Larry Paulson</a>.</p>
+          "mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">
+          contact our robot</a>.</p>
         <p>Please consult the <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent
         problems.</p>
isabelle