From 489e65e4fc69f0dc657491113366d72855558983 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 21 Apr 2004 17:15:52 +0000
Subject: Deleted the "3 buffers view menu entry" for coq, this is now a
 proofgeneral menu entry (bug of the 3.5 release).

---
 coq/coq-abbrev-V7.el | 1 -
 coq/coq-abbrev.el    | 1 -
 2 files changed, 2 deletions(-)

diff --git a/coq/coq-abbrev-V7.el b/coq/coq-abbrev-V7.el
index f9f37651..225df006 100644
--- a/coq/coq-abbrev-V7.el
+++ b/coq/coq-abbrev-V7.el
@@ -255,7 +255,6 @@
     ["Hints" coq-PrintHint t]
     ["Show ith goal..." coq-Show t]
     ["Search isos/pattern..." coq-SearchIsos t]
-    ["3 buffers view" coq-three-b t]
     ["Compile" coq-Compile t] ))
 
 (provide 'coq-abbrev-V7)
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el
index 45828aeb..671fa0f3 100644
--- a/coq/coq-abbrev.el
+++ b/coq/coq-abbrev.el
@@ -311,7 +311,6 @@
     ["Hints" coq-PrintHint t]
     ["Show ith goal..." coq-Show t]
     ["Search isos/pattern..." coq-SearchIsos t]
-    ["3 buffers view" coq-three-b t]
     ["Compile" coq-Compile t] ))
 
 (provide 'coq-abbrev)
-- 
cgit v1.2.3