From efaf5563feed02a0896f33b07e21c2e9797b83ed Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 17 Nov 2014 11:05:13 +0100
Subject: Documenting use of colors in Coq.

---
 CHANGES | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index f75085a83c..a63b92ae7a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -271,6 +271,9 @@ Interfaces
 - CoqIDE uses the new STM machinery, allowing for asynchronous edition.
 - CoqIDE highlight in yellow "unsafe" commands such as axiom
   declarations, and tactics like "admit".
+- Coqtop 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.
 
 Internal Infrastructure
 
-- 
cgit v1.2.3