1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index b53ad6972..bd0f4a134 100644
--- a/CHANGES
+++ b/CHANGES
@@ -25,6 +25,7 @@ Rewriting tactics
   by importing "Morphisms" too).
 - Support added for using Chung-Kil Hur's Heq library for rewriting over
   heterogeneous equality (courtesy of the library's author).
+- Tactic "replace" supports matching terms with holes.
 
 Automation tactics