The mailing list address is proofgeneral@dcs.ed.ac.uk.
To subscribe or unsubscribe, you can fill in the form below.
Or send a message to
majordomo@dcs.ed.ac.uk
with the words "subscribe proofgeneral"
(or "unsubscribe proofgeneral") in the message body.
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.
";
print "Your request to " . $request . " the proof general mailing list has been submitted.
";
print "Thank-you!";
print "
"; click_to_go_back(); footer(); endif; ?>