diff options
| author | David Aspinall | 1998-10-12 12:55:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 12:55:34 +0000 |
| commit | 345e6ce74448850e8f20308fca11e85297fc6095 (patch) | |
| tree | aa7a5022e981453b4532525b0cc8afe0414d1e04 | |
| parent | eb55ebfc43b36a0af59625e68de644ade2717abc (diff) | |
Fixed typo.
| -rw-r--r-- | generic/proof.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/generic/proof.el b/generic/proof.el index 7bdc7dba..ef941901 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -449,7 +449,7 @@ variables." (defcustom proof-shell-prompt-pattern nil "Proof shell's value for comint-prompt-pattern, which see." :type 'regexp - :group 'proof-sheel) + :group 'proof-shell) ;; FIXME da: replace this with wakeup-regexp or prompt-regexp? ;; May not need next variable. @@ -460,7 +460,8 @@ Set to nil if proof assistant does not support annotated prompts." :group 'proof-shell) (defcustom proof-shell-annotated-prompt-regexp "" - "Regexp matching a (possibly annotated) prompt pattern." + "Regexp matching a (possibly annotated) prompt pattern. +Used to " :type 'regexp :group 'proof-shell) @@ -473,7 +474,7 @@ Set to nil if proof assistant does not support annotated prompts." "Regexp matching an error report from the proof assistant. We assume that an error message corresponds to a failure in the last proof command executed. (So don't match -warning messages with this regexp)." +mere warning messages with this regexp)." :type 'regexp :group 'proof-shell) |