From fc4fa4e42289cd13a8732ff2e08bf33ba1708928 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Fri, 25 Jul 2014 15:21:15 +0200
Subject: CHANGES: yellow in Coqide.

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

diff --git a/CHANGES b/CHANGES
index de2f0948cd..24614f7a5c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -209,6 +209,8 @@ Tools
 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".
 
 Internal Infrastructure
 
-- 
cgit v1.2.3