From 8f8f8060ebeb8c204eca98020de0ac2198a1d1fb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jun 2000 14:31:18 +0000
Subject: Added a couple of settings for Coq

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

diff --git a/coq/coq.el b/coq/coq.el
index 5dbc9704..fdd1aeb9 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -531,4 +531,21 @@ This is specific to coq-mode."
    (setq font-lock-keywords coq-font-lock-keywords-1)
    (proof-response-config-done))
 
+
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Flags and other settings for Coq.
+;;
+
+(defpacustom time-search-isos  nil
+  "Whether to display timing of SearchIsos in Coq."
+  :type 'boolean
+  :setting ("Time." . "Untime."))
+
+(defpacustom print-only-first-subgoal  nil
+  "Whether to just print the first subgoal in Coq."
+  :type 'boolean
+  :setting ("Focus." . "Unfocus."))
+
+
 (provide 'coq)
-- 
cgit v1.2.3