# HG changeset patch
# User kleing
# Date 1109652253 -3600
# Node ID 2b3f9c493259eaadd9ec0f2ff2f88bece0b0c43b
# Parent  8ab8e425410b5491a3699b939aba55ffaab83cca
spider dogding

diff -r 8ab8e425410b -r 2b3f9c493259 Admin/page/dist-content/docs.content
--- a/Admin/page/dist-content/docs.content	Mon Feb 28 18:29:55 2005 +0100
+++ b/Admin/page/dist-content/docs.content	Tue Mar 01 05:44:13 2005 +0100
@@ -27,8 +27,8 @@
 
 <p>
 
-Use the mailing list <a href="mailto:
-isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> 
+Use the mailing list <a
+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
 href="mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>. 
diff -r 8ab8e425410b -r 2b3f9c493259 Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Mon Feb 28 18:29:55 2005 +0100
+++ b/Admin/page/main-content/index.content	Tue Mar 01 05:44:13 2005 +0100
@@ -48,16 +48,15 @@
 <h2>Contributing</h2> 
 
 Did you have to prove a lemma that should have been part of the
-Isabelle distribution?  Send it to us!  
-<p> 
-We will collect theorems sent to <img align="absbottom" border="0"
-width="233" height="18" alt="isabelle-lemmas"
-src="isabelle-lemmas.gif" valign="center">. Accepted material will be
-included in the Isabelle sources, with credit given to the
-author. Note that the Isabelle sources are distributed under the BSD
-license.  Lemmas should be general, useful, and not too large. For
-larger developments you might want to consider a submission to the <a
-href="http://afp.sf.net">Archive of Formal Proofs</a>.
+Isabelle distribution?  Send it to us!  <p> We will collect theorems
+sent to <a
+href="&#109;&#97;&#105;&#108;&#116;&#111;:&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#108;&#101;&#109;&#109;&#97;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;">&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#108;&#101;&#109;&#109;&#97;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;</a>.
+Accepted material will be included in the Isabelle sources, with
+credit given to the author. Note that the Isabelle sources are
+distributed under the BSD license.  Lemmas should be general, useful,
+and not too large. For larger developments you might want to consider
+a submission to the <a href="http://afp.sf.net">Archive of Formal
+Proofs</a>.
 
 
 <h2>Course Material, Exercises</h2>
@@ -130,8 +129,8 @@
 
 <h2>Mailing list</h2>
 
-Use the mailing list <a href="mailto:
-isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> 
+Use the mailing list <a
+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
 href="mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>.