debugging coq menu for old Xemacs compatibility, David said he will do this

for other provers (already done ?).

1 files changed, 6 insertions, 6 deletions

diff --git a/coq/coq.el b/coq/coq.el
index bea95141..0f424d17 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -50,12 +50,12 @@
 ;; ----- coq specific menu
 
 (proof-defass-default 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]))
+  '(["Intros" coq-Intros t]
+    ["Apply"  coq-Apply t]
+    ["Search isos" coq-SearchIsos t]
+    ["Begin Section" coq-begin-Section t]
+    ["End Section" coq-end-Section t]
+    ["Compile" coq-Compile t]))
 
 
 ;; ----- coq-shell configuration options