#1756 (Aug 22, 2022, 1:28:52 AM)

1. Gauss numbers (detail / hgweb)
2. disable laramac01 for now: system update pending; (detail / hgweb)
3. clarified synchronized operations: approximate file-system transactions; (detail / hgweb)
4. more robust concurrency: use shared Browser_Info.Context with synchronized file-system operations;
   tuned signature; (detail / hgweb)
5. NEWS; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tuned comments, following "isabelle build" usage; (detail / hgweb)
8. clarified names; (detail / hgweb)
9. clarified modules; (detail / hgweb)
10. proper theory_dir for links to other session; (detail / hgweb)
11. tuned sources and comments; (detail / hgweb)
12. clarified signature; (detail / hgweb)
13. tuned sources and comments; (detail / hgweb)
14. clarified names: Browser_Info.Config vs. Browser_Info.Context; (detail / hgweb)
15. clarified modules; (detail / hgweb)
16. clarified signature: terminology of "base" (here) vs. "root" (there); (detail / hgweb)
17. tuned; (detail / hgweb)
18. proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir; (detail / hgweb)
19. streamlined (detail / hgweb)
20. simplified computation algorithm construction (detail / hgweb)

Started by an SCM change

This run spent:

• 37 min waiting;
• 1 hr 48 min build duration;
• 2 hr 26 min total from scheduled to completion.