1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index d982e0af7..37d9d3680 100644
--- a/CHANGES
+++ b/CHANGES
@@ -11,6 +11,10 @@ Vernacular Commands
 - Removed deprecated commands Arguments Scope and Implicit Arguments
   (not the option). Use the Arguments command instead.
 
+Tactic language
+
+- Support for fix/cofix added in Ltac "match" and "lazymatch".
+
 Changes from 8.7.2 to 8.8+beta1
 ===============================