diff options
| -rw-r--r-- | coq/coq-syntax.el | 2 | ||||
| -rw-r--r-- | coq/coq.el | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 5e559ea9..898cc17d 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -257,7 +257,7 @@ "Punctuation Symbols used by Coq") ;; ----- regular expressions -(defvar coq-error-regexp "^\\(Error\\|Discarding\\|Syntax error\\|System Error\\|Anomaly\\|Uncaught exception\\)" +(defvar coq-error-regexp "^\\(Error\\|Discarding\\|Syntax error\\|System Error\\|Anomaly\\|Uncaught exception\\|Toplevel input\\)" "A regular expression indicating that the Coq process has identified an error.") @@ -18,6 +18,11 @@ "/usr/local/lib/coq" c))) +;;Pierre: we will have both versions V6 and V7 during a while +(setq coq-version-is-V7 + (let ((c (substring (shell-command-to-string "coqtop -v") 0 -1 ))) + (if (string-match "version 7" c) t nil))) + (defcustom coq-tags (concat (coq-library-directory) "/theories/TAGS") "the default TAGS table for the Coq library" :type 'string |