1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 0688f52463..7066043049 100644
--- a/CHANGES
+++ b/CHANGES
@@ -26,6 +26,7 @@ Tactics
   new option "Unset Tactic Evars Pattern Unification" to deactivate it.
 - New tactic "etransitivity".
 - Support of JMeq for "injection" and "discriminate".
+- New variant "subst'" of "subst" that supports JMeq.
 
 Tactic Language