1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index cdcda4ed11..1fcca58882 100644
--- a/CHANGES
+++ b/CHANGES
@@ -30,6 +30,9 @@ CoqIDE
 - Coqide now supports the Restart command, and Undo (with a warning).
   Better support for Abort.
 
+Notations
+
+- "Bind Scope" can no longer bind "Funclass" and "Sortclass".
 
 Changes from V8.4beta to V8.4
 =============================