diff options
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 1 |
1 files changed, 0 insertions, 1 deletions
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) |