diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2014-12-09 10:50:00 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2014-12-09 10:50:00 +0000 |
| commit | 3bd1b0b9301322f89057deb9eccd746b075b1694 (patch) | |
| tree | 3b4fc2914929b3d8a7b8c0a9eaf80cdbb9bf6d0a /coq/coq-abbrev.el | |
| parent | 9b0462a9bb6a34df97515f7a64d4639a7960de0f (diff) | |
Added a variant of searchAbout hiding some spurious entries.
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 2dcead62..2ccf5cab 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -154,7 +154,8 @@ ["About...(show all)" coq-About-with-all t] ["Search..." coq-SearchConstant t] ["SearchRewrite..." coq-SearchRewrite t] - ["SearchAbout..." coq-SearchAbout 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] |