#1226 (Jul 4, 2020, 12:50:09 AM)

1. tuned whitespace; (detail / hgweb)
2. use less memory on old hardware; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. clarified log message (more uniform); (detail / hgweb)
5. misc lemma tuning (detail / hgweb)
6. explicit proofs for bit projections (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 26 min build duration;
• 1 hr 26 min total from scheduled to completion.