From 9d8a4a92f75dfc5d831efff4554c28d623d0868f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 17 Aug 2017 15:06:36 +0200
Subject: Addition suggested by Pierre-Marie.

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

diff --git a/CHANGES b/CHANGES
index 18a48af9d6..85117132d2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -54,6 +54,8 @@ Tactics
   shelf, rather than failing.
 - Tactic injection has become more powerful (closes BZ#4890) and its
   documentation has been updated.
+- New variants of the `first` and `solve` tacticals that do not rely
+  on parsing rules, meant to define tactic notations.
 - Added support for side effects hooks in `cbv`, `cbn` and `simpl`.
   The side effects are provided via a plugin:
   https://github.com/herbelin/reduction-effects/
-- 
cgit v1.2.3