diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-02-15 15:08:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-02-15 15:08:48 +0000 |
| commit | 8d035a76846e9b03597e4b38545a509950e1ffa2 (patch) | |
| tree | 35d754d74641a35aec925181ce9bc793955689df /generic/proof-config.el | |
| parent | 610783ffbfdb866dff630597aabeb03f61abacc4 (diff) | |
New canonical URL for PG.
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 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) |