/doc/changelog/07-vernac-commands-and-options/

• ../
• 00000-title.rst
• 13202-debug-infra.rst
• 13725-hint-rw-local.rst
• 13758-remove_hide_obligations.rst
• 13763-remove_searchhead.rst
• 13764-remove_add_injtyp.rst