diff options
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 391b1238..d1cb249d 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -261,10 +261,8 @@ ["About..." coq-About :help "With prefix arg (C-u): Set Printing All first"] ["About...(show implicits)" coq-About-with-implicits t] ["About...(show all)" coq-About-with-all t] - ["Search..." coq-SearchConstant t] + ["Search..." coq-Search t] ["SearchRewrite..." coq-SearchRewrite t] - ["SearchAbout (hiding principles)..." coq-SearchAbout t] - ["SearchAbout..." coq-SearchAbout-all t] ["SearchPattern..." coq-SearchIsos t] ["Locate constant..." coq-LocateConstant t] ["Locate Library..." coq-LocateLibrary t] |