diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |