#1479 (Jun 8, 2021, 12:50:08 AM)

1. follow Phabricator update 2021 Week 23; (detail / hgweb)
2. tuned; (detail / hgweb)
3. more formal theory and session names;
   tuned whitespace; (detail / hgweb)
4. proper NEWS after Isabelle2021; (detail / hgweb)
5. updated descriptions; (detail / hgweb)
6. allow system option short form NAME for NAME=true for type string, not just bool;
   support short system options "-o document" and "-o system_log"; (detail / hgweb)
7. tuned; (detail / hgweb)
8. more robust within session "HOL"; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.