#1503 (Jul 14, 2021, 12:50:08 AM)

1. simplified a few proofs (detail / hgweb)
2. revisited ac28714b7478: more faithful preplaying with chained facts (detail / hgweb)
3. wait for E 2.7 before using 'ite' in HO mode (detail / hgweb)
4. added alternative E binary name (detail / hgweb)

Started by an SCM change

This run spent:

• 8 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 29 min total from scheduled to completion.