diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-06-01 14:31:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-01 14:31:18 +0000 |
commit | 8f8f8060ebeb8c204eca98020de0ac2198a1d1fb (patch) | |
tree | c1028c1438860798b5507b311ebe508cf70638ba /coq | |
parent | 2478ff4744592718bdc748cb29e6ef15fea943e6 (diff) |
Added a couple of settings for Coq
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -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) |