diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 7db11cba..b0612661 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1078,14 +1078,6 @@ Normally error messages cause a beep. Set this to nil to prevent that." ;; 5b. Regexp variables for matching output from proof process. ;; -(defcustom proof-shell-prompt-pattern nil - "Proof shell's value for `comint-prompt-pattern', which see. -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) - ;; FIXME da: replace this with wakeup-regexp or prompt-regexp? ;; May not need next variable. (defcustom proof-shell-wakeup-char nil |