From 0164d341b4b5c5c55f39abde040aa4c591cfcf90 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Dec 2003 17:01:20 +0000
Subject: Fix domain name

---
 generic/proof-config.el | 2 +-
 generic/proof-indent.el | 3 ++-
 generic/proof-splash.el | 2 +-
 generic/proof-utils.el  | 2 +-
 4 files changed, 5 insertions(+), 4 deletions(-)

(limited to 'generic')

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 ]")))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3