diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2006-12-12 10:48:39 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2006-12-12 10:48:39 +0000 |
| commit | 987c4a3f3302a56af59cce103d9846043d49633b (patch) | |
| tree | 921ca91cb940f3c64498000f6f7ca83093a27f94 /coq/coq.el | |
| parent | 7cfe98c3398b78866d7cfab6989922fe231cb130 (diff) | |
Fixed coq 8.0 compatibility and coq version detection.
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -85,8 +85,11 @@ To disable coqc being called (and use only make), set this to nil." ;; quarter of 2005). (defvar coq-shell-prompt-pattern - (concat "\\(?:\n" proof-id " < [^\n]+\371\\|\n<prompt>[^\n]+</prompt>\\)") - "*The prompt pattern for the inferior shell running coq.") + (if coq-version-is-V8-0 + (concat "\\(?:\n" proof-id " < \\)") + (concat "\\(?:\n" proof-id " < [^\n]+\371\\|\n<prompt>[^\n]+</prompt>\\)") + ) + "*The prompt pattern for the inferior shell running coq.") ; (concat "^\n?" proof-id " < \\(?:[0-9]+ |\\(?:" proof-id "|?\\)*| " "[0-9]+ < \\)?\\(?:\x6\\|\371\\)") ;; FIXME da: this was disabled (set to nil) -- why? |