1 files changed, 2 insertions, 0 deletions
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