#1843 (Dec 22, 2022, 12:50:06 AM)

1. proper PIDE session background for interactive document context; (detail / hgweb)
2. NEWS; (detail / hgweb)
3. more accurate error messages; (detail / hgweb)
4. merged (detail / hgweb)
5. actually build document;
   clarified signature; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. tuned comments; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. tuned; (detail / hgweb)
11. clarified GUI; (detail / hgweb)
12. more thorough GUI updates, notably for multiple Document dockables; (detail / hgweb)
13. Additional new material about infinite products, etc. (detail / hgweb)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 1 hr 51 min build duration;
• 1 hr 51 min total from scheduled to completion.