/doc/changelog/02-specification-language/

• ../
• 00000-title.rst
• 10049-bidi-app.rst
• 10076-not-canonical-projection.rst
• 10167-orpat-mixfix.rst
• 10215-rm-maybe-open-proof.rst
• 10441-static-poly-section.rst