From cef854b93888b79d08b0410cc0600b53c9790d28 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 6 Sep 2006 09:41:12 +0000
Subject: Making error highlighting more robust (for both emacsen) and use a
 span instead of region.

---
 generic/proof-config.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 6ea95171..09c32a7d 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -2316,8 +2316,8 @@ values for this hook include:
 which move the cursor in the scripting buffer on an error or
 error/interrupt.
 
-Remark: This hook is called from response buffer. If you want to do
-something in scripting buffer, save excursion and switch buffer."
+Remark: This hook is called from shell buffer. If you want to do
+something in scripting buffer, `save-excursion' and/or `set-buffer'."
   :type '(repeat function)
   :group 'proof-shell)
 
-- 
cgit v1.2.3