1 files changed, 4 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index eb4245bd1..2ef2ab93b 100644
--- a/CHANGES
+++ b/CHANGES
@@ -18,6 +18,10 @@ Tactics
 - Tactic "tauto" now proves classical tautologies as soon as classical logic
   (i.e. library Classical_Prop or Classical) is loaded.
 
+Tactic Language
+
+- Support for parsing non-empty lists with separators in tactic notations.
+
 Vernacular commands
 
 - New command "Timeout <n> <command>." interprets a command and a timeout