diff options
| -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) |