From 198afc029bad97919e10ade53d49122ca0eb7c7b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 16 Mar 2004 16:20:27 +0000
Subject: added the abbreviation of Hint Rewrite.

---
 coq/coq-abbrev.el | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
cgit v1.2.3