From b240b7d0cfd6233dcb0ba0e3b98354c78c23a0d4 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Thu, 31 Jul 2014 16:57:23 +0200
Subject: CHANGES: [>…].

---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGES b/CHANGES
index 2d5216d6b7..ac76b9eca5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -99,6 +99,7 @@ Tactics
   * New tactic language feature "numgoals" to count number of goals.
     Accompanied by "guard" tactic which fails if a boolean test does
     not pass.
+  * New tactical "[> ... ]" to apply tactics to individual goals.
   * The refine tactic is changed not to use an ad hoc typing algorithm
     to generate subgoals. It also uses the dependent subgoal feature
     to generate goals to materialise every existential variable which
-- 
cgit v1.2.3