#1962 (May 28, 2023, 2:24:00 AM)

1. merged (detail / hgweb)
2. NEWS (detail / hgweb)
3. set up code generation for fset (detail / hgweb)
4. redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex (detail / hgweb)
5. merged (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. clarified treatment of context; (detail / hgweb)
8. clarified treatment of context; (detail / hgweb)
9. more operations; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 33 min waiting;
• 2 hr 3 min build duration;
• 3 hr 37 min total from scheduled to completion.