diff options
| author | David Aspinall | 2004-03-30 11:55:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-30 11:55:28 +0000 |
| commit | 3b34a4d996d01ec5e5424065bcbe83dd49cefe0b (patch) | |
| tree | 7046dad2f99c35db40508319faf11a596b1a26d1 /generic | |
| parent | b29ff95882befb16f46eb4b077689ac1d939606a (diff) | |
Mention importance of proof-shell-annotated-prompt-regexp.
Diffstat (limited to 'generic')
| -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) |