#1901 (Feb 27, 2023, 1:59:24 AM)

1. merged (detail / hgweb)
2. Simplified some proofs (detail / hgweb)
3. clarified db content: avoid redundancy of historic ML_IDENTIFIER; (detail / hgweb)
4. merged (detail / hgweb)
5. proper filterNot, not filterNot-not; (detail / hgweb)
6. option build_hostname allows to change hostname easily; (detail / hgweb)
7. clarified permissions of build.db, following server.db; (detail / hgweb)
8. enforce rebuild of Isabelle/ML, after various changes to build database management; (detail / hgweb)
9. misc tuning and clarification: more uniform use of optional "sql" in SQL.Table.delete/select; (detail / hgweb)
10. tuned: fewer warnings in IntelliJ IDEA; (detail / hgweb)
11. clarified init_database vs. update_database: implicitly assume fresh "instance"; (detail / hgweb)
12. clarified Build_Process.Context: cover all static information; (detail / hgweb)
13. tuned whitespace in generated SQL; (detail / hgweb)
14. tuned: prefer typed operations; (detail / hgweb)
15. clarified signature: more concise operations; (detail / hgweb)
16. more robust options in "prefs" format: avoid odd control character; (detail / hgweb)
17. proper settings for hostname: allow to adjust it in user space; (detail / hgweb)
18. support for build database: still inactive;
    more detailed Build_Job.Node_Info; (detail / hgweb)
19. tuned signature; (detail / hgweb)
20. clarified signature: more robust operations; (detail / hgweb)
21. tuned; (detail / hgweb)
22. tuned; (detail / hgweb)
23. more operations; (detail / hgweb)
24. clarified signature: more operations; (detail / hgweb)
25. clarified signature; (detail / hgweb)
26. clarified signature: more robust (see also cf2ef4be3630); (detail / hgweb)
27. unused (see also 7b318273a4aa and a1fb4d28e609); (detail / hgweb)

Started by an SCM change

This run spent:

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