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

---
 generic/proof-utils.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index c7d9a1cb..61e3d040 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -688,7 +688,7 @@ or if the window is the only window of its frame."
      "[ When reporting a bug, please include a small test case for us to repeat it.
  Please also check that it is not already covered in the BUGS files that came with
  the distribution, or the latest versions at 
- http://www.proofgeneral.org/ProofGeneral/BUGS ]")))
+ http://proofgeneral.inf.ed.ac.uk/ProofGeneral/BUGS ]")))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3