From b240b7d0cfd6233dcb0ba0e3b98354c78c23a0d4 Mon Sep 17 00:00:00 2001 From: Arnaud Spiwack Date: Thu, 31 Jul 2014 16:57:23 +0200 Subject: CHANGES: [>…]. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- CHANGES | 1 + 1 file changed, 1 insertion(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 2d5216d6b..ac76b9eca 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