From f815118ceec3b9adb8a24f34a7361fe14075ed53 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Mon, 8 Sep 2014 10:09:39 +0200
Subject: CHANGES: [revgoals].

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

diff --git a/CHANGES b/CHANGES
index 6982b63ff7..80ac8987b4 100644
--- a/CHANGES
+++ b/CHANGES
@@ -90,7 +90,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.
+  * New tactics "revgoals", "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