/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
• 13852-no-collision-projection.rst
• 13909-reduce-ambiguous-paths.rst
• 13912-remove-bijint.rst
• 14093-fix-14092.rst