From c02a7c93c801487a3f283ee1bbaf0e85b6f6006b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 19 Feb 2004 09:24:26 +0000
Subject: added some menu entries for coq.

---
 coq/coq.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 117debb5..804db615 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -95,7 +95,9 @@
     ["Search isos/pattern..." coq-SearchIsos t]
     ["expand abbrev at point" expand-abbrev t]
     ["list abbrevs" list-abbrevs t]
-    ["What are those #??" (holes-short-doc)]
+    ["What are those #??" (holes-short-doc) t]
+    ["insert Fixpoint" (insert-and-expand "fix") t]
+    ["insert Definition" (insert-and-expand "def") t]
     ["3 buffers view" coq-three-b t]
     ["Begin Section..." coq-begin-Section t]
     ["End Section" coq-end-Section t]
-- 
cgit v1.2.3