#1842 (Dec 21, 2022, 1:26:29 AM)

1. merged (detail / hgweb)
2. First round of moving material from the number theory development (detail / hgweb)
3. merged (detail / hgweb)
4. more GUI operations; (detail / hgweb)
5. proper handling of state updates; (detail / hgweb)
6. clarified process management; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. clarified state document nodes for Theories_Status / Document_Dockable; (detail / hgweb)
9. clarified state of document model vs. document editor selection (again, see also a9d52d02bd83); (detail / hgweb)
10. tuned whitespace; (detail / hgweb)
11. clarified module initialization; (detail / hgweb)
12. tuned signature, following Document_Dockable; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. clarified GUI; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. proper thread context; (detail / hgweb)
17. more informative errors, including optional Exn.trace; (detail / hgweb)
18. clarified state change: presumably more robust; (detail / hgweb)
19. proper state change, e.g. on open/close of "Document" panel; (detail / hgweb)
20. clarified module initialization; (detail / hgweb)
21. clarified state: node_required is guarded by PIDE.editor.document_active (e.g. open panel); (detail / hgweb)
22. clarified signature; (detail / hgweb)
23. tuned signature; (detail / hgweb)
24. added lifting_forget as suggested by Peter Lammich (detail / hgweb)

Started by an SCM change

This run spent:

• 36 min waiting;
• 1 hr 50 min build duration;
• 2 hr 27 min total from scheduled to completion.