Admin/page/dist-content/docs.content

 <li><!-- _GP_ href(distname . "/NEWS", "NEWS") -->
 </ul>
 
 <p>
 
-Use the mailing list <a href="mailto:
[e-mail]">[e-mail]</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:[e-mail]?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>.