#1026 (Oct 8, 2019, 12:50:09 AM)

1. clarified option type; (detail / hgweb)
2. count document nodes via raw file length; (detail / hgweb)
3. merged (detail / hgweb)
4. clarified Load_State / load_limit; (detail / hgweb)
5. clarified Load_State; (detail / hgweb)
6. discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT; (detail / hgweb)
7. count nodes uniformly: avoid overloaded session; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. simplified proof (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 22 min total from scheduled to completion.