/doc/changelog/04-tactics/

• ../
• 00000-title.rst
• 11906-micromega-booleans.rst
• 12399-rm-prolog.rst
• 12423-rm-info.rst
• 12552-zify-pre-hook.rst
• 12816-master+fix12787-K-redex-injection-anomaly.rst
• 12847-master+inversion-works-with-eq-in-type.rst
• 12993-remove-cutrewrite.rst