#4266 (Jan 31, 2023, 9:18:24 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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

Started by an SCM change

This run spent:

• 3 min 20 sec waiting;
• 15 min build duration;
• 18 min total from scheduled to completion.

• Wetzels_Problem
• Category3
• ZFC_in_HOL
• Ordinal_Partitions