/doc/changelog/05-tactic-language/

• ../
• 00000-title.rst
• 13236-ltac2-printf.rst
• 13442-ltac2-abstract-ffi.rst
• 13774-ltac2-deprecated-attribute-term.rst
• 13914-ltac2-cast-fun-return.rst
• 13920-ltac2-ind-api.rst
• 13939-ltac2-open-constr-scope.rst
• 13997-ltac2-ident-ffi.rst
• 14094-ltac2-notation-level-fix.rst
• 14128-ltac2-bool-equal-rename.rst