diff options
| author | Pierre Courtieu | 2004-03-16 16:20:27 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-16 16:20:27 +0000 |
| commit | 198afc029bad97919e10ade53d49122ca0eb7c7b (patch) | |
| tree | b715cdf00f0d52ed4d85706ad24a8dc14e9bb67f | |
| parent | 08170a5b4cc0a034654380b68c3280ab77081c1c (diff) | |
added the abbreviation of Hint Rewrite.
| -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) |