From 097dd1c608dd7c375d159301af5fb9bf37445d9a Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Fri, 16 Jun 2017 13:05:25 -0400
Subject: Add an entry to CHANGES about timing in coq_makefile

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

diff --git a/CHANGES b/CHANGES
index 4e95f9d4c8..91abaa10b1 100644
--- a/CHANGES
+++ b/CHANGES
@@ -95,6 +95,11 @@ Tools
   The current version contains code for retro compatibility that prints
   warnings when a deprecated feature is used.  Please upgrade your _CoqProject
   accordingly.
+  * Additionally, coq_makefile-made Makefiles now support experimental timing
+    targets `pretty-timed`, `pretty-timed-before`, `pretty-timed-after`,
+    `print-pretty-timed-diff`, `print-pretty-single-time-diff`,
+    `all.timing.diff`, and the variable `TIMING=1` (or `TIMING=before` or
+    `TIMING=after`); see the documentation for more details.
 
 Build Infrastructure
 
-- 
cgit v1.2.3