#1396 (Feb 15, 2021, 12:50:09 AM)

1. merged (detail / hgweb)
2. provide naproche-6d0d76ce2f2a; (detail / hgweb)
3. Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b (detail / hgweb)
4. updated to flatlaf-1.0; (detail / hgweb)
5. tuned NEWS; (detail / hgweb)
6. tuned comments; (detail / hgweb)
7. more robust interrupt handling as in Future.forked_results (amending 64df1e514005); (detail / hgweb)
8. more parallelism: avoid exhaustion of standard thread pool; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 31 min total from scheduled to completion.