From 52e74e66ea28cb6bcccb04dcd843036736d8c1bd Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 17 Mar 2009 21:07:50 +0000
Subject: Uniformizing Tacticals, continued (allClauses -> allHypsAndConcl)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11990 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/doc/changes.txt | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dev/doc')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index b236f04d75..5aadfa5920 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -11,6 +11,8 @@ tclNTH_DECL -> onNthDecl
 tclNTH_HYP -> onNthHyp
 onLastHyp -> onLastHypId
 onNLastHyps -> onNLastDecls
+onClauses -> onClause
+allClauses -> allHypsAndConcl
 
 + removal of various unused combinators on type "clause"
 
-- 
cgit v1.2.3