From 18ebfd87cda9d7fa55903ae7bb5f4535d951785d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 15:40:12 +0000
Subject: Fix web addresses

---
 FAQ | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'FAQ')

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.
 
 -----------------------------------------------------------------
 
-- 
cgit v1.2.3