diff options
Diffstat (limited to 'coq/coq-compile-common.el')
| -rw-r--r-- | coq/coq-compile-common.el | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el index fdb3d4b8..938f706e 100644 --- a/coq/coq-compile-common.el +++ b/coq/coq-compile-common.el @@ -458,14 +458,6 @@ This option can be set via menu ;; define coq-lock-ancestors-toggle (proof-deftoggle coq-lock-ancestors) -;; Maybe not the good place -(defcustom coq-show-proof-stepwise nil - "TODO: doc" - - :type 'boolean - :safe 'booleanp - :group 'coq-auto-compile) - (proof-deftoggle coq-show-proof-stepwise) (defcustom coq-confirm-external-compilation t |