From b006f10e7d591417844ffa1f04eeb926d6092d7b Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 20 Aug 2014 22:30:37 +0200
Subject: Uniformisation of the order of arguments env and sigma.

---
 dev/doc/changes.txt | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index cea4cf1224..d872110b97 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -91,8 +91,11 @@
   "intros_pattern" and "intros_patterns" is not anymore behaving like
   tactic "intros" on the empty list.
 
-- API of cut tactics changed: cut_intro should be replaced by
-  "enough_tac Anonymous"
+- API of cut tactics changed: for instance, cut_intro should be replaced by
+  "assert_after Anonymous"
+
+- All functions taking an env and a sigma (or an evdref) now takes the
+  env first.
 
 =========================================
 = CHANGES BETWEEN COQ V8.3 AND COQ V8.4 =
-- 
cgit v1.2.3