diff options
| author | David Aspinall | 2003-12-11 17:01:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-12-11 17:01:20 +0000 |
| commit | 0164d341b4b5c5c55f39abde040aa4c591cfcf90 (patch) | |
| tree | 6fbcefd205df0e7d88f99b999f15e67ef1b1599b /generic/proof-config.el | |
| parent | 598d4d4dd222932bfe38d115ef46f01b483f091f (diff) | |
Fix domain name
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 3fbc4680..2b827366 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2499,7 +2499,7 @@ If this table is empty or needs adjusting, please make changes using :group 'proof-general-internals) (defcustom proof-general-home-page - "http://www.proofgeneral.org" + "http://proofgeneral.inf.ed.ac.uk" "*Web address for Proof General" :type 'string :group 'proof-general-internals) |