Build #4 (Jun 8, 2020, 1:00:30 AM)

1. Remove \textbf from two cases where no special formatting fits (details / githubweb)
2. Fix some formatting of examples and nonnormative content in tables (details / githubweb)
3. Use \firstuse instead of \textbf when introducing base clock partition types (details / githubweb)
4. Remove \textbf on 'active' where it is neither introduced nor deserving emphasis (details / githubweb)
5. Use \tablehead instead of \textbf for some kind of table title (details / githubweb)
6. Replace \textbf by \firstuse when terms are introduced in tables (details / githubweb)
7. Use item list instead of beginning each semiLinear rule with \textbf{Rule X} (details / githubweb)
8. Introduce \numbereddefinition instead of \textbf for numbered definitions (details / githubweb)
9. Use item list instead of \textbf for the only 'Proposition' there is (details / githubweb)
10. Remove \textbf on the single restriction that has it in a list of five (details / githubweb)
11. Remove exaggerated emphasis with \textbf in equation/variable balance examples (details / githubweb)

Pull request #2567 updated at 1:00:21 AM on Jun 8, 2020

• PR-2567