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 | |
| parent | 598d4d4dd222932bfe38d115ef46f01b483f091f (diff) | |
Fix domain name
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 2 | ||||
| -rw-r--r-- | generic/proof-indent.el | 3 | ||||
| -rw-r--r-- | generic/proof-splash.el | 2 | ||||
| -rw-r--r-- | generic/proof-utils.el | 2 |
4 files changed, 5 insertions, 4 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) diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 22ff742c..5f58fa1b 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -48,7 +48,8 @@ (defun proof-indent-goto-prev () ; Note: may change point, even in case of failure! "Goto to previous syntax element for script indentation, ignoring string/comment contexts." (and - (proof-re-search-backward proof-indent-any-regexp nil t) + (proof-re-search-backward proof-indent-any-regexp + (proof-queue-or-locked-end) t) (or (not (proof-looking-at-syntactic-context)) (proof-indent-goto-prev)))) diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 6c326968..ed64fdba 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -44,7 +44,7 @@ Proof General." "(C) LFCS, University of Edinburgh, 2003." nil nil -" Please send problems and suggestions to support@proofgeneral.org, +" Please send problems and suggestions to da+pg-support@inf.ed.ac.uk, or use the menu command Proof-General -> Submit bug report." nil (unless (or proof-running-on-XEmacs proof-running-on-Emacs21) diff --git a/generic/proof-utils.el b/generic/proof-utils.el index c7d9a1cb..61e3d040 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -688,7 +688,7 @@ or if the window is the only window of its frame." "[ When reporting a bug, please include a small test case for us to repeat it. Please also check that it is not already covered in the BUGS files that came with the distribution, or the latest versions at - http://www.proofgeneral.org/ProofGeneral/BUGS ]"))) + http://proofgeneral.inf.ed.ac.uk/ProofGeneral/BUGS ]"))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |