#2048 (Nov 4, 2023, 12:50:10 AM)

1. proper option; (detail / hgweb)
2. merged (detail / hgweb)
3. proper SQL.string syntax, following actual SQL standard instead of historic variations before PostgreSQL 9.1;
   ensure connection defaults required for string literals; (detail / hgweb)
4. Added Kronecker's approximation theorem. Requires adding Real_Asymp to HOL-Analysis. Funny syntax issue in Probability/Projective_Family (detail / hgweb)
5. merged (detail / hgweb)
6. prefer Time.scale(), following Isabelle/ML; (detail / hgweb)
7. proper benchmark command; (detail / hgweb)
8. merged (detail / hgweb)
9. proper progress (see also 45d570945fe4); (detail / hgweb)
10. improved build messages; (detail / hgweb)

Started by an SCM change

This run spent:

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