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.