#3844 (Aug 12, 2022, 8:54:04 PM)

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

1. merged (detail / hgweb)
2. more GUI elements; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
6. clarified signature --- more operations; (detail / hgweb)
7. clarified signature --- simplified types; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. proper toString for Content_XML, which is not covered by trait Content; (detail / hgweb)
10. clarified output; (detail / hgweb)
11. clarified signature: support different document_session, e.g. within running PIDE session; (detail / hgweb)
12. unused (despite cf52379c0776); (detail / hgweb)
13. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
14. unused (see 696819fe2424); (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. basic setup for document build panel; (detail / hgweb)
17. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
18. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
19. tuned; (detail / hgweb)
20. clarified signature; (detail / hgweb)
21. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
22. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
23. tuned signature; (detail / hgweb)
24. tuned signature; (detail / hgweb)
25. tuned signature, following hints by IntelliJ IDEA; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 42 min build duration;
• 44 min total from scheduled to completion.