#1201 (Oct 1, 2019, 1:35:11 AM)

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

1. clarified share_common_data: after finished checkpoint, before next edits; (detail)
2. obsolete (see 030a6baa5cb2 and d14ddb1df52c); (detail)
3. support headless_load_limit for more scalable load process; (detail)
4. added dump_options: disabled by default; (detail)
5. tuned message; (detail)
6. clarified incremental loading: requirements based on maximal nodes; (detail)
7. tuned signature; (detail)
8. tuned; (detail)
9. tuned message; (detail)
10. more explicit type Load_State; (detail)
11. more operations -- incremental exploration of reachable nodes; (detail)
12. tuned messages (again) -- avoid confusion wrt. total remaining size; (detail)

Started by an SCM change

This run spent:

• 8.3 sec waiting;
• 9 hr 42 min build duration;
• 9 hr 42 min total from scheduled to completion.