add flash infos about wrap, not found, no. of replacements, no. of finds, issue #6452

1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index c9197fb36..7fe5b91f5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -68,6 +68,11 @@ Checker
 
 - The checker now accepts filenames in addition to logical paths.
 
+CoqIDE
+
+- Find and Replace All report the number of occurrences found; Find indicates
+  when it wraps.
+
 Documentation
 
 - The Coq FAQ, formerly located at https://coq.inria.fr/faq, has been