diff options
| -rw-r--r-- | coq/coq-abbrev.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 8e7fff66..658b81d1 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -69,6 +69,7 @@ ("he" "Hint Extern # # => # : #." holes-abbrev-complete 0) ("hi" "Hint Immediate # : #." holes-abbrev-complete 0) ("hr" "Hint Resolve # : #." holes-abbrev-complete 0) + ("hrw" "Hint Rewrite [#] in # using #." holes-abbrev-complete 0) ("hs" "Hints # : #." holes-abbrev-complete 0) ("hu" "Hint Unfold # : #." holes-abbrev-complete 0) ("i" "intro #" holes-abbrev-complete 10) |