From 8aec3a45d93b61874ef2567d1430821067905eb3 Mon Sep 17 00:00:00 2001 From: Arnaud Spiwack Date: Fri, 25 Jul 2014 18:59:47 +0200 Subject: CHANGES: cycle and swap. --- CHANGES | 1 + 1 file changed, 1 insertion(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 24614f7a5..9b517d9b3 100644 --- a/CHANGES +++ b/CHANGES @@ -87,6 +87,7 @@ Tactics default. * A corresponding new option Set Default Goal Selector "all" makes the tactics in scripts be applied to all the focused goal by default + * New tactics "cycle" and "swap" to reorder goals. * The semantics of recursive tactics (introduced with Ltac t := ... or let rec t := ... in ...) changes slightly as t is now applied to every goal not each goal independently, in particular -- cgit v1.2.3