diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-04-21 17:15:52 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-04-21 17:15:52 +0000 |
| commit | 489e65e4fc69f0dc657491113366d72855558983 (patch) | |
| tree | 96cf7464fa39368189e49cdb8211cf61ced454a4 /coq | |
| parent | a363ab8c69697bf7a1a57ee3589246204174f999 (diff) | |
Deleted the "3 buffers view menu entry" for coq, this is now a
proofgeneral menu entry (bug of the 3.5 release).
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-abbrev-V7.el | 1 | ||||
| -rw-r--r-- | coq/coq-abbrev.el | 1 |
2 files changed, 0 insertions, 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) |