From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/mailinglist.phtml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'html/mailinglist.phtml')

diff --git a/html/mailinglist.phtml b/html/mailinglist.phtml
index dd63aafc..b6336f45 100644
--- a/html/mailinglist.phtml
+++ b/html/mailinglist.phtml
@@ -17,8 +17,8 @@
   ?>
 <p>
 The mailing list address is 
-<a href="mailto:proofgeneral@dcs.ed.ac.uk">
-<tt>proofgeneral@dcs.ed.ac.uk</tt>.
+<a href="mailto:users@proofgeneral.org">
+<tt>users@proofgeneral.org</tt>.
 </a>
 </p>
   
@@ -26,8 +26,8 @@ The mailing list address is
 To subscribe or unsubscribe, you can fill in the form below.
 <br>
 Or send a message to 
-<a href="mailto:majordomo@dcs.ed.ac.uk">
- <tt>majordomo@dcs.ed.ac.uk</tt>
+<a href="mailto:majordomo@proofgeneral.org">
+ <tt>majordomo@proofgeneral.org</tt>
 </a>
 with the words "<tt>subscribe proofgeneral</tt>"
 (or "<tt>unsubscribe proofgeneral"</tt>) in the message body.
@@ -37,7 +37,8 @@ with the words "<tt>subscribe proofgeneral</tt>"
 Since its beginning, the mailing list has been a low-volume list (one
 message every few months).  If the volume increases significantly due
 to user interaction, we will introduce a separate mailing list for
-announcements.  No junk mail will be forwarded to list members.
+announcements.  Junk mail filters are applied to the list to
+prevent junk being forwarded to list members.
 </p>
 
 <h2>Mailing list subscription</h2>
-- 
cgit v1.2.3