From 8d035a76846e9b03597e4b38545a509950e1ffa2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Feb 2000 15:08:48 +0000
Subject: New canonical URL for PG.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 36c97879..37e5ad27 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1713,7 +1713,7 @@ X-Symbol support is deactivated."
   :group 'proof-general-internals)
 
 (defcustom proof-general-home-page
-  "http://www.dcs.ed.ac.uk/home/proofgen"
+  "http://www.lfcs.informatics.ed.ac.uk/proofgen"
   "*Web address for Proof General"
   :type 'string
   :group 'proof-general-internals)
-- 
cgit v1.2.3