coq/doc/changelog/07-commands-and-options/11746-remove-chapter.rst, branch master The formal proof system Release notes for 8.12. 2020-05-27T13:38:24+00:00 Théo Zimmermann 2020-05-23T10:58:37+00:00 2f0a89e59e615e6101096b36e12e7b7bbace8eff 






Remove Chapter command.
2020-04-02T12:26:06+00:00

Théo Zimmermann

2020-03-24T10:37:10+00:00

7540acc5f0ced610d9fc10560d75990be3c9cd9a

This was an undocumented equivalent of the Section command.





This was an undocumented equivalent of the Section command.