From 56a5d25260bddd94cc8cfaeb305ba6fcba71953a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Feb 2000 15:14:06 +0000
Subject: Canonical URL.

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 5bebbad1..d112408a 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -4175,7 +4175,7 @@ Proof General name used internally and in menu titles.
 @defopt proof-general-home-page 
 Web address for Proof General
 
-The default value is @code{"http://www.dcs.ed.ac.uk/home/proofgen"}.
+The default value is @code{"http://www.lfcs.informatics.ed.ac.uk/proofgen"}.
 @end defopt
 @c TEXI DOCSTRING MAGIC: proof-universal-keys
 @defvar proof-universal-keys 
-- 
cgit v1.2.3