From f87c3a55b1ad52b63ebd0af0cf9f3fb0e8e86f76 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 8 May 2014 17:40:07 +0200
Subject: Renaming new_induct -> induction; new_destruct -> destruct.

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

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index 2164830a7c..8a2b13ebee 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -75,6 +75,8 @@
       check_evars_are_solved explicitly to check that evars are solved.
   See also the corresponding commit log.
 
+- Tactics API: new_induct -> induction; new_destruct -> destruct
+
 =========================================
 = CHANGES BETWEEN COQ V8.3 AND COQ V8.4 =
 =========================================
-- 
cgit v1.2.3