From 3b34a4d996d01ec5e5424065bcbe83dd49cefe0b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 Mar 2004 11:55:28 +0000
Subject: Mention importance of proof-shell-annotated-prompt-regexp.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index fb17dc4e..03035cc3 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1641,8 +1641,9 @@ Proof General about the dependencies rather than using this setting."
 
 (defcustom proof-shell-prompt-pattern nil 
    "Proof shell's value for comint-prompt-pattern, which see.
-This pattern is just for interaction in comint (shell buffer).
-You don't really need to set it."
+NB!! This pattern is just for interaction in comint (shell buffer).
+You don't really need to set it.  The important one to set is
+`proof-shell-annotated-prompt-regexp', which see."
    :type 'regexp
    :group 'proof-shell)
 
-- 
cgit v1.2.3