From a8f894ba13dea2fbac97c352d5ef1587d3d5b7a5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 2 Mar 2004 22:23:35 +0000
Subject: Purge proofgeneral.org

---
 etc/Mailman/intro-proofgeneraldevel.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/Mailman/intro-proofgeneraldevel.html')

diff --git a/etc/Mailman/intro-proofgeneraldevel.html b/etc/Mailman/intro-proofgeneraldevel.html
index ef926a63..e8ccd50e 100644
--- a/etc/Mailman/intro-proofgeneraldevel.html
+++ b/etc/Mailman/intro-proofgeneraldevel.html
@@ -1,4 +1,4 @@
-<a href="http://www.proofgeneral.org">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for developers of Proof General to discuss issues in the development of new versions of Proof General, such as new features and adaptation to new proof assistants.  
+<a href="http://proofgeneral.inf.ed.ac.uk">Proof General</a> is a generic interface for proof assistants, currently based on Emacs. This mailing list is for developers of Proof General to discuss issues in the development of new versions of Proof General, such as new features and adaptation to new proof assistants.  
 Posting is only available to list members.
 
 For announcements about Proof General and discussion of using it, subscribe to the <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">ProofGeneral users list</a>.  Announcements sent there will <b>not</b> be duplicated here.
-- 
cgit v1.2.3