/doc/changelog/04-tactics/

• ../
• 00000-title.rst
• 11906-micromega-booleans.rst
• 12399-rm-prolog.rst
• 12423-rm-info.rst
• 12552-zify-pre-hook.rst
• 12648-zify-int63.rst
• 12993-remove-cutrewrite.rst
• 13237-master+fix13235-no-degenerate-in-hyps-clause.rst
• 13337-master+improve-error-dependent-intro-wildcard.rst
• 13373-master+fix13363-metas-posed-to-evars-in-wrong-env.rst
• 13381-bfs_eauto.rst
• 13403-occs_nums_nat.rst