1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 6ad2cc548..2ccd5cb88 100644
--- a/CHANGES
+++ b/CHANGES
@@ -41,6 +41,8 @@ Tools
   COQFLAGS is now entirely separate from COQLIBS, so in custom Makefiles
   $(COQFLAGS) should be replaced by $(COQFLAGS) $(COQLIBS).
 
+- Remove the gallina utility (extracts specification from Coq vernacular files).
+
 Vernacular Commands
 
 - Removed deprecated commands Arguments Scope and Implicit Arguments