#1644 (Mar 29, 2021, 1:33:08 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. more robust; (detail)
2. clarified message; (detail)
3. tuned; (detail)
4. tuned message; (detail)
5. proper export; (detail)
6. more options: build is part of default setup; (detail)
7. misc tuning and clarification; (detail)
8. more options; (detail)
9. proper Admin script, outside the settings environment; (detail)
10. tuned whitespace; (detail)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.