1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL b/INSTALL
index c36e664c..30d07bbe 100644
--- a/INSTALL
+++ b/INSTALL
@@ -28,13 +28,13 @@ notes below, the README file for each prover, and the file BUGS.
 
 If none of these files help, then contact us via the address below.
 
-   Proof General maintainer <support@proofgeneral.org>
+   Proof General maintainer <da+pg-support@inf.ed.ac.uk>
    LFCS,
    Division Of Informatics,
    University of Edinburgh.
    Edinburgh.
    
-   http://www.proofgeneral.org
+   http://proofgeneral.inf.ed.ac.uk