From 3c24059b1604905f0c0b61ce22992168028adad9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 13 Jul 2002 17:09:58 +0000 Subject: Fix mailman links, remove subscription form from here. --- html/mailinglist | 110 ++++++++++++++++--------------------------------------- 1 file changed, 31 insertions(+), 79 deletions(-) (limited to 'html') diff --git a/html/mailinglist b/html/mailinglist index b4cfc176..95614f1c 100644 --- a/html/mailinglist +++ b/html/mailinglist @@ -1,99 +1,51 @@ +

-The mailing list address is - -users@proofgeneral.org. - +The Proof General mailing list is a low-volume list +used for announcements of new versions, and occasional +discussions amongst users.

- + +

Subscriptions

-To subscribe or unsubscribe, you can fill in the form below. +To subscribe or unsubscribe, visit +the +Mailman +web page for the list.
-Or send a message to - - majordomo@proofgeneral.org - -with the words "subscribe proofgeneral" -(or "unsubscribe proofgeneral") in the message body. +Alternatively, you can send a message to + +proofgeneral-request@informatics.ed.ac.uk +with the word "subscribe" (or "unsubscribe password") +in the message body.

+ +

Posting

-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. +The canonical mailing list address is +users@proofgeneral.org. +
+This is an alias for +proofgeneral@informtics.ed.ac.uk.

- -

Mailing list subscription

- -

+In an effort to prevent spam, posting is restricted to list members. +Please subscribe here before attempting to post.

-Archives +

+Archives of the list (since July 2002) are kept +here. +

- if ($from != "") { print "

Dear " . $from . ",

\n"; }; - print "

"; - print "Your request to " . $request . " the proof general mailing list has been submitted.
"; - print "Thank-you!"; - print "

\n

"; +

+ - -- cgit v1.2.3