From 6c4062ca13e6fb9e7d2dc93c70b545ccb22575de Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 18 Jun 2018 16:53:54 +0000
Subject: Archive the `gallina` tool

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

(limited to 'CHANGES')

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
-- 
cgit v1.2.3