#1878 (Feb 1, 2023, 12:50:07 AM)

1. alternate AFP tests on lrzcloud2, to fit better into one day; (detail / hgweb)
2. merged (detail / hgweb)
3. support document preparation from already loaded theories; (detail / hgweb)
4. clarified GUI events; (detail / hgweb)
5. clarified GUIs: keep related buttons together; (detail / hgweb)
6. proper program name, e.g. for session "Intro"; (detail / hgweb)
7. clarified GUI events: reset everything on session context switch; (detail / hgweb)
8. clarified GUI events: ensure fresh output when switching pages; (detail / hgweb)
9. clarified GUI: avoid odd jumping pages on "Cancel"; (detail / hgweb)
10. clarified GUI events; (detail / hgweb)
11. more accurate output: avoid output_body from last run; (detail / hgweb)
12. more accurate output: avoid output_main from last run; (detail / hgweb)
13. removed unused operation from 3f50b24909df; (detail / hgweb)
14. clarified guard: avoid spurious auto builds; (detail / hgweb)
15. automatically build document when selected theories are finished; (detail / hgweb)
16. more accurate Word.capitalize: do not touch name; (detail / hgweb)
17. defer build until document nodes are ready; (detail / hgweb)
18. clarified signature: prefer semantic status; (detail / hgweb)
19. removed obsolete parameter (see 7c23db6b857b); (detail / hgweb)
20. clarified Document_Editor.Session: more explicit types, more robust operations;
    eliminated await_stable_snapshot in favour of delay_build; (detail / hgweb)
21. more operations; (detail / hgweb)
22. clarified operation (without change of signature!); (detail / hgweb)
23. pointless (detail / hgweb)
24. Lots more new material thanks to Manuel Eberl (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.