From 1492a2e4757dac1c5ccb3b385c033bf48093cbd3 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 10 Mar 2004 15:13:43 +0000
Subject: modification to avoid compile warnings (end) + some menu
 modifications

---
 coq/coq.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index ce233856..c79f719c 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -220,6 +220,7 @@
      ["replace active hole by selection C-M-y"  (replace-update-active-hole) t]
      "replace active hole with mouse  C-M-Shift select"
      ["jump to active hole M-return"  (set-point-next-hole-destroy) t]
+     ["forget all holes in this buffer"  (clear-all-buffer-holes) t]
      ["What are those holes?" (holes-short-doc) t]
      )
     ["expand abbrev at point" expand-abbrev t]
-- 
cgit v1.2.3