#2151 (Mar 13, 2024, 12:50:07 AM)

1. merged (detail / hgweb)
2. Restored Riemann_Mapping as an import of Complex_Analysis (detail / hgweb)
3. proper file headers; (detail / hgweb)
4. clarified modules; (detail / hgweb)
5. merged (detail / hgweb)
6. database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb); (detail / hgweb)
7. tuned signature: more operations; (detail / hgweb)
8. clarified signature: more explicit types; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. removed somewhat pointless check; (detail / hgweb)
11. tuned signature: fewer warnings in IntelliJ IDEA; (detail / hgweb)
12. merged (detail / hgweb)
13. Fixed a latex error in the markup (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 2 hr 5 min build duration;
• 2 hr 5 min total from scheduled to completion.