Fix web addresses

2 files changed, 6 insertions, 6 deletions

diff --git a/CHANGES b/CHANGES
index 3028a9cb..8112fcd4 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,9 +1,9 @@
 -*- outline -*-
 
----   This is a development release of Proof General,     ---
----   some features may be incomplete or buggy.  Please   ---
----   report any problems to support@proofgeneral.org,    ---
----   thanks.  Check files BUGS and <prover>/BUGS first.  ---
+---   This is a development release of Proof General,      ---
+---   some features may be incomplete or buggy.  Please    ---
+---   report any problems to da+pg-support@inf.ed.ac.uk    ---
+---   thanks.  Check files BUGS and <prover>/BUGS first.   ---
 
 
 * Summary of Changes for Proof General 3.5pre from 3.4
diff --git a/FAQ b/FAQ
index e96d2226..6ee3d590 100644
--- a/FAQ
+++ b/FAQ
@@ -3,7 +3,7 @@ FAQs for using Proof General
 
 With thanks to the anonymous authors of questions/answers below.
 
-For latest version, see http://www.proofgeneral.org/FAQ
+For latest version, see http://proofgeneral.inf.ed.ac.uk/FAQ
 Please also check the BUGS file.
 
 -----------------------------------------------------------------
@@ -52,7 +52,7 @@ A. Please check the documentation carefully, particularly the
    requirements for a full-featured and recent Emacs version, as
    mentioned in INSTALL (see "Dependency on Other Emacs Packages").  
    If you still cannot solve your problem, send a message to
-   support@proofgeneral.org in the first instance.
+   da+pg-support@inf.ed.ac.uk in the first instance.
 
 -----------------------------------------------------------------