aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/07-commands-and-options/11746-remove-chapter.rst
blob: 0316432b0a02f8b849793afc651b441078d0becc (plain) 
1
2
3

- **Removed:** undocumented ``Chapter`` command.  Use :cmd:`Section`
  instead (`#11746 <https://github.com/coq/coq/pull/11746>`_, by Théo
  Zimmermann).
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-07 01:10:48 +0000