diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2007-05-10 14:56:12 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2007-05-10 14:56:12 +0000 |
| commit | 82ed0297bdddb7b652a7e3f17fbb183dba601dfa (patch) | |
| tree | 243a0e37ecb265401f2fffd3117f8365c801af91 /coq/coq.el | |
| parent | df697037ca4d76b75d784cdb81bb2e2fc4dfa24a (diff) | |
Fixed prompt regexp.
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -89,7 +89,7 @@ To disable coqc being called (and use only make), set this to nil." ;; Pierre added the infos in the prompt, this is new in Coq v8-1 (defvar coq-shell-prompt-pattern - (if coq-version-is-V8-1 (concat "\\(?:\n<prompt>[^\n]+</prompt>\\)") + (if coq-version-is-V8-1 (concat "\\(?:\n\\(?:[^\n\371]+\371\\|<prompt>[^\n]+</prompt>\\)\\)") (concat "\\(?:\n" proof-id " < \371\\)")) "*The prompt pattern for the inferior shell running coq.") |