From 318d45596d7a57b90dbe685a3e1af3ec12a91469 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Dec 2003 16:46:47 +0000
Subject: Remove proofgeneral.org domain.

---
 html/devel.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/devel.html')

diff --git a/html/devel.html b/html/devel.html
index c25bc7af..1d81dc3e 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -124,7 +124,7 @@ about any development issues.
 
 <p>
 We have a mailing list for developers, at
-<a href="mailto:devel@proofgeneral.org">devel@proofgeneral.org</a>.
+<a href="mailto:proofgeneral-devel@inf.ed.ac.uk">proofgeneral-devel@inf.ed.ac.uk</a>.
 <br>
 Posting is restricted to list members.
 To subscribe (or unsubscribe), 
-- 
cgit v1.2.3