#1886 (Feb 10, 2023, 12:50:07 AM)

1. merged (detail / hgweb)
2. Even more new material from Eberl and Li (detail / hgweb)
3. merged (detail / hgweb)
4. More material for Analysis and Complex_Analysis (detail / hgweb)
5. actually executable enum_all, enum_ex for word (detail / hgweb)
6. tuned text (detail / hgweb)
7. Lots of new material chiefly about complex analysis (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 1 hr 52 min build duration;
• 1 hr 52 min total from scheduled to completion.