#1370 (Dec 28, 2020, 12:50:11 AM)

1. tuned whitespace; (detail / hgweb)
2. Added tag Isabelle2021-RC1 for changeset d4b67dc6f4eb (detail / hgweb)
3. updated for release; (detail / hgweb)
4. clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications; (detail / hgweb)
5. follow Phabricator update 2020 Week 42; (detail / hgweb)
6. updated for release; (detail / hgweb)
7. tuned; (detail / hgweb)
8. proper NEWS according to current situation; (detail / hgweb)
9. updated for release; (detail / hgweb)
10. tuned (see also b5333fc056da); (detail / hgweb)

Started by an SCM change

This run spent:

• 9.8 sec waiting;
• 1 hr 30 min build duration;
• 1 hr 30 min total from scheduled to completion.