From d8652efca406c852ebc27cb27c903d9a6a4b2532 Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Wed, 17 Jan 2018 15:03:25 +0900
Subject: Add CHANGES entry

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

diff --git a/CHANGES b/CHANGES
index ead751147a..d91181a1d4 100644
--- a/CHANGES
+++ b/CHANGES
@@ -40,6 +40,8 @@ Tactics
 - Added tactic optimize_heap, analogous to the Vernacular Optimize
   Heap, which performs a major garbage collection and heap compaction
   in the OCaml run-time system.
+- The tactic "dtauto" now handles some inductives such as
+  "@sigT A (fun _ => B)" as non-dependent conjunctions.
 
 Vernacular Commands
 
-- 
cgit v1.2.3