#1441 (Jan 30, 2018, 12:24:50 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)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 1 hr 47 min build duration;
• 1 hr 52 min total from scheduled to completion.