diff options
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index dc39cc62..e25d8c96 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -689,6 +689,11 @@ of `easy-menu-define' for more details." :type 'sexp :group 'prover-config) +(defcustom proof-assistant-keymap (make-keymap "proof-assistant-keymap") + "Proof assistant keymap, defined under prefix C-c a." + :type 'sexp + :group 'prover-config) + |