/doc/changelog/10-standard-library/

• ../
• 00000-title.rst
• 12094-app_inj_tail.rst
• 12186-creal-new-modulus.rst
• 12479-fix-int-ltb-notations.rst
• 12556-fix-float-ltb-notations.rst
• 12716-curry.rst
• 12799-list-repeat.rst
• 12801-cyclic-set.rst
• 12861-nsatz-tactic-instances.rst