Closed glyn closed 10 months ago
We could make all sections numbered, then more of them will go to the TOC. We could also change tocdepth, which is currently 4 (would add 2.3.5.2.1 and 2.3.5.2.2). My personal view is that the current settings are good, even if I'd normally use fewer unnumbered sections (maybe 2.3.1. and 2.3.2?).
Some syntax and semantics sections appear in the table of contents and some do not. Do we want to make this consistent?