From 6342bc95a166d224ea64f1e3b8977e4f3560b485 Mon Sep 17 00:00:00 2001
From: glondu
Date: Thu, 2 Dec 2010 09:24:45 +0000
Subject: Document new tactics in CHANGES

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13666 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 4 ++++
 1 file changed, 4 insertions(+)

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.
-- 
cgit v1.2.3