Mention developers mailing list

1 files changed, 29 insertions, 10 deletions

diff --git a/html/download.phtml b/html/download.phtml
index 688a0b04..94df1829 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -10,7 +10,7 @@ If you have already registered you do not need to do so again.
 </p>
 
 <p>
-You may also like to consider joining the 
+You may like to consider joining the 
 Proof General
 <a href="mailinglist.phtml">mailing list</a>.
 </p>
@@ -20,7 +20,10 @@ You can download the latest
 stable release, 
 <a href="#stable">ProofGeneral-2.0</a>, or the latest pre-release,
 <!-- Warning, next line edited by make file -->
-<a href="#prerel">ProofGeneral-2.1pre990817</>.
+<a href="#prerel">ProofGeneral-2.1pre990817</a>.
+There is also a complete archive 
+of the current pre-release 
+<a href="#devel">for developers</a>.
 </p>
 
 <hr>
@@ -119,18 +122,21 @@ in a pre-release.
   </li>
 <!-- End Warning. -->
 </ul>
-<h3><a name="devel">For Developers</a></h3>
+
+<hr>
+
+<h2><a name="devel">For Developers</a></h2>
 <p>
 If you are interested in helping to develop the core of Proof General,
-you may like to download a complete archive of all the sources used to
-build the Proof General pre-release.  The difference from the working
+we provide a complete archive of all the sources used to build the
+current Proof General pre-release.  The difference from the working
 version distribution above is that we include our low-level list of
 things to do, some developer's make files used to generate
 documentation files and the release itself from our CVS repository,
 some test files, sources for some of the images (in <a
-href="http://www.gimp.org">GIMP</a> form), and the web pages.
-And there are no pre-built documentation files, because
-developers should have the right tools!
+href="http://www.gimp.org">GIMP</a> form), and the web pages.  And
+there are no pre-built documentation files, because developers should
+have the right tools!
 </p>
 <ul>
   <li> gzip'ed tar file: 
@@ -150,8 +156,21 @@ still like to check the latest
 </p>
 
 <p>
-If there is any interest from developers, we could make our
-CVS repository open to anonymous cvs server access.  Please 
+We have a mailing list for developers, at
+<a href="mailto:proofgeneral-devel@dcs.ed.ac.uk">
+<tt>proofgeneral-devel@dcs.ed.ac.uk</tt></a>.
+<br>
+To subscribe (or unsubscribe), send a message to 
+<a href="mailto:majordomo@dcs.ed.ac.uk">
+ <tt>majordomo@dcs.ed.ac.uk</tt>
+</a>
+with the words "<tt>subscribe proofgeneral-devel</tt>"
+(or "<tt>unsubscribe proofgeneral-devel"</tt>) in the message body.
+</p>
+
+<p>
+If you are interested in developing the core of Proof General,
+we can make our CVS repository accessible to you.  Please 
 <a href="feedback.phtml">ask</a>.
 </p>