/doc/changelog/03-notations/

• ../
• 00000-title.rst
• 11986-float-low-level-printing.rst
• 12099-master+constraining-terms-occurring-also-as-pattern-in-notations.rst
• 12218-numeral-notations-non-inductive.rst
• 12685-master+propagate-scope-in-indirect-applied-ref.rst
• 12765-master+partial-app-in-recursive-notation.rst
• 12950-master+reorganization-notations-only-parsing-only-printing.rst
• 12960-master+fix9403-missing-flattening-app-notations.rst
• 12965-master+fix9569-propagage-binding-vars-notations.rst
• 12979-doc-numbers.rst
• 12984-master+import-notation-make-active-again.rst
• 12986-master+ordering-notation-by-precision.rst
• 13092-master+fix-13078-no-binder-in-pattern-notation.rst
• 13265-master+allow-single-binder-entry.rst