#1582 (Oct 27, 2021, 12:50:06 AM)

1. merged (detail / hgweb)
2. tuned, continuing e955964d89cb; (detail / hgweb)
3. avoid waste of resources due to dynamic simpset (amending 45c09620f726); (detail / hgweb)
4. fix latex (detail / hgweb)
5. clarified modules; (detail / hgweb)
6. more generic bit/word lemmas for distribution (detail / hgweb)
7. merged (detail / hgweb)
8. Added / moved some simple set-theoretic lemmas (detail / hgweb)
9. more CONTRIBUTORS and NEWS; (detail / hgweb)
10. cleanup; add Apple reference (detail / hgweb)
11. refine interface (detail / hgweb)
12. generalized component lookup for syntax and distinctness proofs. added some tracing. (detail / hgweb)

Started by an SCM change

This run spent:

• 5.6 sec waiting;
• 1 hr 37 min build duration;
• 1 hr 37 min total from scheduled to completion.