#542 (Jan 30, 2018, 1:25:13 AM)

1. tuned data structure: potentially more efficient add_prods; (detail / hgweb)
2. clarified operations; (detail / hgweb)
3. merged (detail / hgweb)
4. expand definitions of \DeclareOldFontCommand in traditional article.cls, e.g. KOMA-Script no longer provides these; (detail / hgweb)
5. irrelevant reference to doubtful theory Code_Char (detail / hgweb)
6. avoid concrete (anti)mono in theorem names since it could be the other way round (detail / hgweb)
7. more uniform documentation; (detail / hgweb)
8. proper fall-back rendering of control symbol; (detail / hgweb)

Started by an SCM change

This run spent:

• 35 min waiting;
• 1 hr 24 min build duration;
• 1 hr 59 min total from scheduled to completion.