1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 3ec53fad2..76e8f8929 100644
--- a/CHANGES
+++ b/CHANGES
@@ -45,6 +45,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