1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 0473a978ba..3850bb6502 100644
--- a/CHANGES
+++ b/CHANGES
@@ -376,6 +376,7 @@ Tools
 - CoqIDE supports Definition/Parameter/Inductive in middle of a proof.
 - Undoing non-tactic commands in CoqIDE works faster.
 - New CoqIDE menu for activating display of various implicit informations.
+- New Open and Save As dialogs in CoqIDE which filter *.v files.
 
 Miscellaneous