From 0164d341b4b5c5c55f39abde040aa4c591cfcf90 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Dec 2003 17:01:20 +0000
Subject: Fix domain name

---
 doc/README.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/README.doc')

diff --git a/doc/README.doc b/doc/README.doc
index e350baea..374bd121 100644
--- a/doc/README.doc
+++ b/doc/README.doc
@@ -20,7 +20,7 @@ If you want a front image on the printed dvi/gs manuals, you need to
 have the ProofGeneral.eps file in this directory.  You can download a
 compressed version from
 
-http://www.proofgeneral.org/ProofGeneral/doc/ProofGeneral.eps.gz
+http://proofgeneral.inf.ed.ac.uk/ProofGeneral/doc/ProofGeneral.eps.gz
 
 This file is not included with the distribution because it is rather
 large (1.6M).  
-- 
cgit v1.2.3