diff options
| author | David Aspinall | 2000-05-01 18:18:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-01 18:18:30 +0000 |
| commit | e9ac9e8eb3d2567ff1ab12cf7bfdd60d5df2c30f (patch) | |
| tree | 2174f36ab1eb25c86534c6b95177634c11a6f2c2 /generic/proof-config.el | |
| parent | e3b0ad751924c57db4ec8e72759edd2070757097 (diff) | |
Added proof-assistant-menu-entries for proof assistant specific menus.
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 874a53fc..dc39cc62 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -682,6 +682,13 @@ If a function, it should return the command string to insert." :type '(choice string function) :group 'prover-config) +(defcustom proof-assistant-menu-entries nil + "Entries for proof assistant specific menu. +A list of menu items [NAME CALLBACK ENABLE]. See the documentation +of `easy-menu-define' for more details." + :type 'sexp + :group 'prover-config) + |