diff options
| -rw-r--r-- | generic/proof-config.el | 5 |
1 files 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) |