#1856 (Apr 7, 2020, 10:14:04 PM)

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

1. NEWS; (detail / hgweb)
2. more careful handling of interrupts, notably for Isabelle/jEdit Scala Console; (detail / hgweb)
3. clarified signature: more uniform treatment of stopped/interrupted state; (detail / hgweb)
4. proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.session_build check; (detail / hgweb)
5. tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area: JEditTextArea); (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 5 min 43 sec build duration;
• 7 min 45 sec total from scheduled to completion.