From e9ac9e8eb3d2567ff1ab12cf7bfdd60d5df2c30f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 May 2000 18:18:30 +0000
Subject: Added proof-assistant-menu-entries for proof assistant specific
 menus.

---
 generic/proof-config.el | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'generic/proof-config.el')

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)
+
 
 
 
-- 
cgit v1.2.3