#4122 (Dec 5, 2022, 11:24:20 PM)

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

1. merged (detail / hgweb)
2. tuned GUI behaviour; (detail / hgweb)
3. more GUI elements; (detail / hgweb)
4. clarified modules; (detail / hgweb)
5. clarified process: implicit load() when finished; (detail / hgweb)
6. more robust, notably initial update(); (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned messages: implement "verbose = false", but there is no theory output anyway; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 17 sec waiting;
• 9 min 30 sec build duration;
• 12 min total from scheduled to completion.