From 15d30b906f97f16220c484f7ae74a905c43c6537 Mon Sep 17 00:00:00 2001
From: jnarboux
Date: Sat, 7 Jun 2008 09:11:53 +0000
Subject: add tiny change to coqide

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11066 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

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
 
-- 
cgit v1.2.3