Added specific menu for Coq.

1 files changed, 14 insertions, 0 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 408ffc76..14be4ab6 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -47,6 +47,18 @@
   :type 'string
   :group 'coq)
 
+;; ----- coq specific menu
+
+(defcustom coq-menu-entries
+  '(["Intros" coq-Intros]
+    ["Apply"  coq-Apply]
+    ["Search isos" coq-SearchIsos]
+    ["Begin Section" coq-begin-Section]
+    ["End Section" coq-end-Section]
+    ["Compile" coq-Compile])
+  "Entries for Coq menu.")
+
+
 ;; ----- coq-shell configuration options
 
 (defcustom coq-prog-name "coqtop -emacs"
@@ -415,6 +427,8 @@ This is specific to coq-mode."
 
   (setq proof-assistant-home-page coq-www-home-page)
 
+  (setq proof-assistant-menu-entries coq-menu-entries)
+
   (setq proof-mode-for-script 'coq-mode)
 
   (setq proof-guess-command-line 'coq-guess-command-line)