/doc/changelog/02-specification-language/

• ../
• 00000-title.rst
• 07825-rechable-from-evars.rst
• 10331-minim-prop-toset.rst
• 12653-cumul-syntax.rst
• 12756-dont-refresh-argument-names.rst
• 12768-master+warn-non-underscore-catch-all-pattern-matching.rst
• 13106-doc-and-changelog-for-13106.rst
• 13166-master+fixes13165-missing-impargs-defined-fields.rst
• 13183-using-att.rst
• 13188-instance-gen.rst
• 13217-master+fix13216-typeclass-for-match-return-clause.rst
• 13290-master+grant13278-small-inversion-in-prop.rst
• 13312-attributes+bool_single.rst
• 13376-master+minifix-NotFoundInstance.rst
• 13383-master+fix11816-wf-not-allowed-in-local-fixpoint.rst
• 13386-master+fix9971-primproj-canonical-structure-on-evar-type.rst
• 13387-master+fix12348-debruijn-bug-imitation.rst