diff options
| author | David Aspinall | 2000-02-15 15:14:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-02-15 15:14:06 +0000 |
| commit | 56a5d25260bddd94cc8cfaeb305ba6fcba71953a (patch) | |
| tree | aa6eb21f3890f67ccf3a5851910fc01bd4c9f241 | |
| parent | 6218d6f4eb69a6e6f117f4194dddcaad83ea9948 (diff) | |
Canonical URL.
| -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 |