From c3a62d51d13788a650fc13e89a1b6f000ba1f378 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 18 May 2015 15:47:57 +0200
Subject: Fixed CHANGES to reflect -color option.

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index d2890f7402..b6793e426f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -418,7 +418,7 @@ Interfaces
 - Many CoqIDE windows, including the query one, are now detachable to
   improve usability on multi screen work stations.
 
-- Coqtop outputs highlighted syntax. Colors can be configured thanks
+- Coqtop/coqc outputs highlighted syntax. Colors can be configured thanks
   to the COQ_COLORS environment variable, and their current state can
   be displayed with the -list-tags command line option.
 
-- 
cgit v1.2.3