From 0164d341b4b5c5c55f39abde040aa4c591cfcf90 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 11 Dec 2003 17:01:20 +0000
Subject: Fix domain name

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

(limited to 'INSTALL')

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