#1984 (Jul 14, 2023, 12:50:08 AM)

1. more NEWS; (detail / hgweb)
2. tuned output; (detail / hgweb)
3. tuned output; (detail / hgweb)
4. clarified session_statistics: removed somewhat pointless per-theory statistics; (detail / hgweb)
5. tuned error messages; (detail / hgweb)
6. more TOML formatting functions; (detail / hgweb)
7. merged (detail / hgweb)
8. Doubled the time limit for HOL-Probability (detail / hgweb)
9. merged (detail / hgweb)
10. Some fixes, and SOME TIME LIMITS (detail / hgweb)
11. merged (detail / hgweb)
12. cosmetic improvements, new lemmas, especially more uses of function space (detail / hgweb)
13. more NEWS; (detail / hgweb)
14. NEWS; (detail / hgweb)
15. tuned whitespace; (detail / hgweb)
16. added TOML module from afp; (detail / hgweb)
17. proper system integration and renaming; (detail / hgweb)
18. copy/rename files from private autocorres version e45b9b680d3e; (detail / hgweb)
19. Added tag Isabelle2023-RC1 for changeset 006dbc9c2de1 (detail / hgweb)
20. update cygwin component; (detail / hgweb)
21. avoid bloat of approx. 300MB due to implicit dependency on python; (detail / hgweb)
22. suppress bad file, which does not work on regular Windows; (detail / hgweb)
23. revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well; (detail / hgweb)
24. updated naproche-20230711 component for release; (detail / hgweb)
25. clarified signature; (detail / hgweb)
26. ML_system_apple=false for more stability; (detail / hgweb)
27. activate cygwin-20230711; (detail / hgweb)
28. update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html); (detail / hgweb)
29. proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2); (detail / hgweb)
30. update to stack-2.9.3 with support for arm64-linux; (detail / hgweb)
31. provide tool for GHC stack component; (detail / hgweb)
32. tuned signature; (detail / hgweb)
33. "rlwrap" is back together with "perl", which is actually required for bib2xhtml; (detail / hgweb)
34. clarified signature, with subtle change of semantics (amending 8b5a2e4b16d4); (detail / hgweb)
35. tuned; (detail / hgweb)
36. tuned; (detail / hgweb)
37. merged (detail / hgweb)
38. tuned; (detail / hgweb)
39. update for release; (detail / hgweb)
40. tuned; (detail / hgweb)
41. update for release; (detail / hgweb)
42. merged; (detail / hgweb)
43. publish component; (detail / hgweb)
44. latest version; (detail / hgweb)
45. update to current sqlite-jdbc-3.42.0.0; (detail / hgweb)
46. update to current lipics-3.1.3; (detail / hgweb)
47. update to flatlaf-2.6, which is the last release before recent moves towards 3.0 / 3.1 / 3.1.1; (detail / hgweb)
48. merged (detail / hgweb)
49. more small simplifications (detail / hgweb)
50. merged (detail / hgweb)
51. merged (detail / hgweb)
52. clarified modules (amending 570f65953173); (detail / hgweb)
53. more markup for command_span: this allows to reconstruct Thy_Element structure without knowing the outer syntax; (detail / hgweb)
54. create database view for diagnostic purposes; (detail / hgweb)
55. A bit of prerelease tidying (detail / hgweb)
56. NEWS tweak (detail / hgweb)
57. merged (detail / hgweb)
58. Last of the HOL Light metric space imports, and some supporting lemmas (detail / hgweb)
59. clarified "vacuum" operation for various database versions (PostgreSQL <= 10 is strictly speaking obsolete, but still used on some test machines); (detail / hgweb)
60. eliminate somewhat obsolete augment_tables (see ff164add75cd), to support obsolete versions 10 and 9.x; (detail / hgweb)
61. clarified operation: sequential vacuum to support obsolete versions 10 and 9.x; (detail / hgweb)
62. clarified operation: empty means "empty" instead of "full"; (detail / hgweb)
63. merged (detail / hgweb)
64. proper data_domain for symmetric difference; (detail / hgweb)
65. tuned: avoid redundant db access; (detail / hgweb)
66. clarified signature; (detail / hgweb)
67. proper transaction_lock;
    clarified signature; (detail / hgweb)
68. clarified signature: ensure disjoint data spaces; (detail / hgweb)
69. clarified signature; (detail / hgweb)
70. tuned; (detail / hgweb)
71. unused (see also ea35afdb1366); (detail / hgweb)
72. more robust transaction_lock: avoid overlapping data spaces;
    clarified modules; (detail / hgweb)
73. merged (detail / hgweb)
74. The sym_diff operator (symmetric difference) (detail / hgweb)
75. disable lxbroy10 for now: technical problems with cooling; (detail / hgweb)

Started by an SCM change

This run spent:

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