#1857 (Jan 6, 2023, 1:57:23 AM)

1. tuned options --- avoid confusion with "isabelle build -b"; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. isabelle update -u path_cartouches; (detail / hgweb)
4. merged (detail / hgweb)
5. updated documentation; (detail / hgweb)
6. more options;
   tuned messages; (detail / hgweb)
7. tuned message; (detail / hgweb)
8. isabelle update no longer uses PIDE dump, but regular session build database: more scalable;
   misc tuning and clarification; (detail / hgweb)
9. more robust; (detail / hgweb)
10. more operations;
    more robust; (detail / hgweb)
11. proper Node.init_blobs, not just edits (amending ca872f20cf5b); (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. clarified session sources: theory and blobs are read from database, instead of physical file-system; (detail / hgweb)
15. tuned; (detail / hgweb)
16. clarified signature: more operations; (detail / hgweb)
17. clarified signature: more operations; (detail / hgweb)
18. tuned; (detail / hgweb)
19. more direct access to session_sources, without somewhat fragile file-system operations; (detail / hgweb)
20. tuned; (detail / hgweb)
21. tuned signature; (detail / hgweb)
22. tuned signature: avoid confusion with Document.Node.Blob and Command.Blob; (detail / hgweb)
23. clarified signature: old node is ignored; (detail / hgweb)
24. tuned; (detail / hgweb)
25. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 7 min waiting;
• 1 hr 52 min build duration;
• 2 hr 59 min total from scheduled to completion.