Changes

Summary

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