diff options
Diffstat (limited to 'coq/coq-compile-common.el')
| -rw-r--r-- | coq/coq-compile-common.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el index 2a5c3f44..fdb3d4b8 100644 --- a/coq/coq-compile-common.el +++ b/coq/coq-compile-common.el @@ -459,14 +459,14 @@ This option can be set via menu (proof-deftoggle coq-lock-ancestors) ;; Maybe not the good place -(defcustom coq-show-proof nil +(defcustom coq-show-proof-stepwise nil "TODO: doc" :type 'boolean :safe 'booleanp :group 'coq-auto-compile) -(proof-deftoggle coq-show-proof) +(proof-deftoggle coq-show-proof-stepwise) (defcustom coq-confirm-external-compilation t "If set let user change and confirm the compilation command. |