1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index f0f9c437e9..71a6f3118f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -14,6 +14,10 @@ Ltac
 - New modifier "lazy" for "match t with" and "match goal with" telling
   to delay the evaluation of tactic expression.
 
+Tactics
+
+- Added "dependent rewrite term" and "dependent rewrite term in hyp" (doc TODO)
+
 Notations
 
 - "format" option aware of recursive notations