/doc/changelog/02-specification-language/

• ../
• 00000-title.rst
• 10202-master+fix8011-stronger-check-on-typability-ltac-env.rst
• 10858-stuck-classed.md
• 11098-master+arguments-supports-anonymous-implicit.rst
• 11235-non_maximal_implicit.rst
• 11261-master+implicit-type-used-printing.rst
• 11368-trailing_implicit_error.rst
• 11579-inductive-params.rst
• 11600-uniform-syntax.rst
• 12121-master+fix11903-warn-non-truly-fixpoint.rst