From 665793e2e5cc528af5cff6995ec9a2c072502f04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 Sep 2000 12:18:37 +0000
Subject: Fix Proof General web page to www.proofgeneral.org.

---
 generic/proof-config.el | 2 +-
 generic/proof-utils.el  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index cc19b090..bc3b80fc 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -2195,7 +2195,7 @@ If this table is empty or needs adjusting, please make changes using
   :group 'proof-general-internals)
 
 (defcustom proof-general-home-page
-  "http://www.lfcs.informatics.ed.ac.uk/proofgen"
+  "http://www.proofgeneral.org"
   "*Web address for Proof General"
   :type 'string
   :group 'proof-general-internals)
diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index d5468be6..30807443 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -542,7 +542,7 @@ Returns non-nil if response buffer was cleared."
      "[ 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://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/BUGS ]")))
+ http://www.proofgeneral.org/ProofGeneral/BUGS ]")))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3