Document new tactics in CHANGES

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13666 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 4 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index c8334f72fa..07b8dfea4e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -3,6 +3,10 @@ Changes from V8.3 to V8.4
 
 - New proof engine
 
+Tactics
+
+- New tactics constr_eq, is_evar and has_evar.
+
 Vernacular commands
 
 - In SearchAbout, the [ ] delimiters are now optional.