#877 (Feb 28, 2019, 12:50:12 AM)

1. more line spacing, notably for ttfautohint (see 4791988fcbc4); (detail / hgweb)
2. more compact representation: approx. factor 2; (detail / hgweb)
3. more scalable on 32-bit Poly/ML; (detail / hgweb)
4. clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump"); (detail / hgweb)
5. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 10 sec waiting;
• 1 hr 32 min build duration;
• 1 hr 32 min total from scheduled to completion.