From c0e191dfe45e32dd49ab704b52a76d17fa40d52a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 23 Nov 2000 10:25:16 +0000
Subject: I am starting to make PG coqV7 compatible, I think the best is to
 allow both V6 and V7 for a while. Theoretically, incompatibilities will not
 be numerous.

---
 coq/coq-syntax.el | 2 +-
 coq/coq.el        | 5 +++++
 2 files changed, 6 insertions(+), 1 deletion(-)

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.")
 
diff --git a/coq/coq.el b/coq/coq.el
index eae46efd..43a4159a 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -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
-- 
cgit v1.2.3