#2059 (Nov 23, 2023, 12:50:09 AM)

1. modernized, reordered, generalized (detail / hgweb)
2. more correct type annotation (detail / hgweb)
3. proper build with jdk-21 (amending 4fb5e6499da9); (detail / hgweb)
4. NEWS; (detail / hgweb)
5. update to jdk-21.0.1;
   enforce rebuild of Isabelle/Scala + Isabelle/ML; (detail / hgweb)
6. rebuild jedit with minimal patch for jdk-21, following SVN 25690; (detail / hgweb)
7. clarified modules; (detail / hgweb)
8. suppress duplicate entries systematically using log_name: e.g. relevant for AFP; (detail / hgweb)
9. clarified operation: pick current pull_date instead of previous one; (detail / hgweb)
10. operations AND, OR, XOR are specified by characteristic recursive equation (detail / hgweb)
11. clarified toml keys operations; (detail / hgweb)
12. tuned; (detail / hgweb)
13. clarified toml keys: more operations; (detail / hgweb)
14. use toml key operations properly;
    clarified module; (detail / hgweb)
15. clarified toml keys formatting vs. toString; (detail / hgweb)
16. clarified keys module; (detail / hgweb)
17. pull out toml keys module; (detail / hgweb)
18. clarified toml parser interface; (detail / hgweb)
19. prefer symbolic build_history_base_arm; (detail / hgweb)
20. build_history: proper support for ISABELLE_APPLE_PLATFORM64; (detail / hgweb)
21. clarified isabelle_hg (again, see b9d59669904a); (detail / hgweb)
22. clarified signature: explicit Remote_Build.count instead of duplicate entries (see also ee8c014526dc); (detail / hgweb)
23. clarified signature: more operations and options concerning Isabelle hg; (detail / hgweb)
24. performance tuning: cache graph; (detail / hgweb)
25. tuned signature: fewer warnings in IntelliJ IDEA; (detail / hgweb)
26. unused (see also 004b39bf06a5); (detail / hgweb)
27. clarified signature and modules: more explicit Build_Log.History; (detail / hgweb)
28. tuned: avoid recursion; (detail / hgweb)
29. tuned; (detail / hgweb)
30. avoid duplicate data; (detail / hgweb)
31. output more data; (detail / hgweb)
32. tuned whitespace; (detail / hgweb)
33. clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache; (detail / hgweb)
34. proper ml_statistics (amending aeb511a520f4); (detail / hgweb)
35. unify error messages; (detail / hgweb)
36. add file information to toml parse context and error messages; (detail / hgweb)
37. add position information to toml parser and error messages; (detail / hgweb)
38. properly concatenate toml files: regular toml rules still apply (e.g., inline values may not be changed), but values defined in one file may be updated in another; (detail / hgweb)
39. allow re-defining keys in toml object (already checked during parse time); (detail / hgweb)
40. clarified toString for toml objects; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 2 hr 4 min build duration;
• 2 hr 4 min total from scheduled to completion.