From 9c076cb3a0fd5658ff33e543e3de3b45bc320c20 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Jul 2002 16:29:41 +0000
Subject: Tweak mailing list details, order of items.

---
 html/devel.html | 31 +++++++++++++++++++++----------
 1 file changed, 21 insertions(+), 10 deletions(-)

(limited to 'html')

diff --git a/html/devel.html b/html/devel.html
index fc6b38f9..416f1c2f 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -3,15 +3,9 @@
 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: 
@@ -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>
 
-- 
cgit v1.2.3