/doc/changelog/04-tactics/

• ../
• 00000-title.rst
• 13469-no-int-in-fail.rst
• 13509-master+remove-bracketing-last-introduction-pattern-flag.rst
• 13512-master+fix13413-apply-on-intro-pattern-fresh-names.rst
• 13568-master+fix13566-check-invalid-occurrences-especially-rewrite.rst
• 13696-deprecate_at_in_conversion.rst
• 13699-fix13579.rst
• 13715-lia_implb.rst
• 13741-remove_omega.rst
• 13761-remove_convert_concl_nc.rst
• 13762-remove_double_induction.rst
• 13781-deprecate_micromega_options.rst
• 13882-fix-ssr-setoidrw-in-hyp.rst
• 14033-fix-14009.rst
• 14089-ltac2_unify.rst