1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 47f131ce9f..6550be7059 100644
--- a/CHANGES
+++ b/CHANGES
@@ -66,6 +66,8 @@ Vernacular commands
   or axioms a theorem or definition relies on.
 - "Add Rec LoadPath" now provides references to libraries using partially
   qualified names (this holds also for coqtop/coqc option -R).
+- SearchAbout supports negated search criteria and reference to logical objects
+  by their notation.
 
 Libraries (DOC TO CHECK)