From 32110e70622b2db165b4a514a935197f00ebbd3e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Aug 2009 16:36:49 +0000
Subject: *** empty log message ***

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

diff --git a/coq/coq.el b/coq/coq.el
index e38c215f..5d2cab81 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -823,6 +823,17 @@ This is specific to `coq-mode'."
              (if coq-version-is-V8-1 "-emacs-U" "-emacs")))
         coq-prog-name))))
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Holes mode switch
+
+;; TODO: complete and maybe make this generic (with prover-specific default?
+;; or use same mechanism as tokens, etc?)
+(defpacustom use-editing-holes nil
+  "Enable holes for editing."
+  :type 'boolean)
+;;  :eval (set-stuff-for-holes)
+
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;   Configuring proof and pbp mode and setting up various utilities  ;;
-- 
cgit v1.2.3