From bd553335ab58426c1425591b5f21365cbfefa000 Mon Sep 17 00:00:00 2001
From: jnarboux
Date: Tue, 27 May 2008 15:20:11 +0000
Subject: update changes related to coqide

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

diff --git a/CHANGES b/CHANGES
index 477faaab41..b4d8397e97 100644
--- a/CHANGES
+++ b/CHANGES
@@ -285,7 +285,7 @@ Tools
 - CoqIDE font defaults to monospace so as indentation to be meaningful.
 - CoqIDE supports Definition/Parameter/Inductive in middle of a proof.
 - Undoing non-tactic commands in CoqIDE works faster.
-- New CoqIDE buttons for activating display of various implicit informations.
+- New CoqIDE menu for activating display of various implicit informations.
 
 Miscellaneous
 
-- 
cgit v1.2.3