Tweak mailing list details, order of items.

1 files changed, 21 insertions, 10 deletions

diff --git a/html/devel.html b/html/devel.html
index fc6b38f9..416f1c2f 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -3,17 +3,11 @@
 Proof General follows an open development method.  
 <br>
 We welcome code contributions, suggestions, and bug reports, from all
-users and hackers!
+users.
 </p>
 
 <ul>
 <li>
-Read about ideas for the <a href="kit">Proof General Kit</a>
-here.
-</li>
-</ul>
-<ul>
-<li>
 Download the latest <a href="develdownload.html">development release: 
 <!-- WARNING!  Line below automatically edited by makefile. -->
  <b>ProofGeneral-3.4pre020701</b></a>
@@ -28,6 +22,14 @@ Check the
 for a summary of changes since the last stable version.
 </li>
 </ul>
+
+<ul>
+<li>
+Read about ideas for the <a href="kit">Proof General Kit</a>
+here.
+</li>
+</ul>
+
 <ul>
 <li>
 Browse a mirror of the <a href="http://www.proofgeneral.org/cgi-bin/cvsweb.cgi">Proof General CVS repository</a>.  <br>
@@ -46,6 +48,8 @@ Get involved!
 Take a look at the Proof General <a href="projects.html">project proposals</a>.
 </li>
 </ul>
+
+
 <ul>
 <li>
 Read the 
@@ -54,6 +58,8 @@ developer's
 with development hints and tips.
 </li>
 </ul>
+
+
 <ul>
 <li>
 Read the brief list of planned 
@@ -76,6 +82,7 @@ for the
 <!-- end WARNING -->
 </li>
 </ul>
+
 <!-- <ul> -->
 <!-- <li> -->
 <!-- Browse source files from the current pre-release: -->
@@ -89,6 +96,8 @@ for the
 <!-- <?php fileshow("ProofGeneral-3.4pre020701/generic/proof-splash.el") ?>, -->
 <!-- <?php fileshow("ProofGeneral-3.4pre020701/generic/proof-easy-config.el") ?>. -->
 <!-- </ul> -->
+
+
 <ul>
 <li>
 <?php hlink("feedback.html","Send us a message ","Feedback form")?>
@@ -100,10 +109,12 @@ about any development issues.
 
 <p>
 We have a mailing list for developers, at
-<a href="mailto:proofgeneral-devel@informatics.ed.ac.uk">
-<tt>proofgeneral-devel@informatics.ed.ac.uk</tt></a>.
+<a href="mailto:devel@proofgeneral.org">devel@proofgeneral.org</a>.
 <br>
+Posting is restricted to list members.
 To subscribe (or unsubscribe), 
-visit <a href="http://lists.informatics.ed.ac.uk/listinfo/proofgeneral-devel">this web page</a>.
+visit 
+<a href="http://lists.informatics.ed.ac.uk/listinfo/proofgeneral-devel">this 
+web page</a>.
 </p>