From 5d285946d8d13d678c6c1f0e846f3dfc93fa417c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 16 May 2000 17:23:47 +0000
Subject: debugging coq menu for old Xemacs compatibility, David said he will
 do this for other provers (already done ?).

---
 coq/coq.el | 12 ++++++------
 1 file 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
-- 
cgit v1.2.3