add tiny change to coqide

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11066 85f007b7-540e-0410-9357-904b9bb8a0f7

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