From 79090eef95ed3934d9916daf0673e626eb062e46 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Dec 2001 17:31:58 +0000
Subject: Update mailing list address (point to web page)

---
 html/devel.html | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

(limited to 'html')

diff --git a/html/devel.html b/html/devel.html
index 841b2871..5780ded5 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -100,14 +100,10 @@ about any development issues.
 
 <p>
 We have a mailing list for developers, at
-<a href="mailto:proofgeneral-devel@dcs.ed.ac.uk">
-<tt>proofgeneral-devel@dcs.ed.ac.uk</tt></a>.
+<a href="mailto:proofgeneral-devel@informatics.ed.ac.uk">
+<tt>proofgeneral-devel@informatics.ed.ac.uk</tt></a>.
 <br>
-To subscribe (or unsubscribe), send a message to 
-<a href="mailto:majordomo@dcs.ed.ac.uk">
- <tt>majordomo@dcs.ed.ac.uk</tt>
-</a>
-with the words "<tt>subscribe proofgeneral-devel</tt>"
-(or "<tt>unsubscribe proofgeneral-devel"</tt>) in the message body.
+To subscribe (or unsubscribe), 
+visit <a href="http://lists.informatics.ed.ac.uk/listinfo/proofgeneral-devel">this web page</a>.
 </p>
 
-- 
cgit v1.2.3