From f485629cd5b0e4ed3c9ef70385b4979c9e5315e7 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 24 Nov 2000 14:38:18 +0000
Subject: Continuing Coq V7 compatibility work, Begin Silent -> Set Silent,
 etc...

---
 coq/coq.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index de3a261b..f27281c1 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -503,8 +503,11 @@ This is specific to coq-mode."
   
   (setq proof-auto-multiple-files t)	; until Coq has real support
 
-  (setq proof-shell-start-silent-cmd "Begin Silent."
-	proof-shell-stop-silent-cmd  "End Silent.")
+  ;;Coq V7 changes this 
+  (setq proof-shell-start-silent-cmd (if coq-version-is-V7 "Set Silent."   "Begin Silent.")
+	proof-shell-stop-silent-cmd  (if coq-version-is-V7 "Unset Silent." "End Silent."))
+;  (setq proof-shell-start-silent-cmd "Begin Silent."
+;	proof-shell-stop-silent-cmd  "End Silent.")
 
   (coq-init-syntax-table)
 
-- 
cgit v1.2.3