BZ#5739, Allow level for leftmost nonterminal for printing-ony Notations

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index ca5172d7b7..84b8470288 100644
--- a/CHANGES
+++ b/CHANGES
@@ -5,6 +5,8 @@ Notations
 
 - Recursive notations with the recursive pattern repeating on the
   right (e.g. "( x ; .. ; y ; z )") now supported.
+- Notations with a specific level for the leftmost nonterminal,
+  when printing-only, are supported.
 
 Tactics