From 637359b517d597be8fb0ef80afd6ce64e17c0c1c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 14 Mar 2000 03:04:52 +0000
Subject: Added proof-shell-{start,stop}-silent-cmd.

---
 coq/coq.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index fbd85399..8264fb5a 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -445,6 +445,9 @@
 
   (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-init-syntax-table)
 
 ;; font-lock
-- 
cgit v1.2.3