1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 9db0cec4eb..e0353a1947 100644
--- a/CHANGES
+++ b/CHANGES
@@ -37,6 +37,7 @@ Tactics
 - Slight improvement of the hnf and simpl tactics when applied on
   expressions with explicit occurrences of match or fix.
 - Better heuristic of lemma unfolding for apply/eapply.
+- New tactics "eapply in", "erewrite", "erewrite in".
 
 Changes from V8.1gamma to V8.1
 ==============================