#1021 (Oct 2, 2019, 12:50:11 AM)

1. avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value; (detail / hgweb)
2. consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies); (detail / hgweb)
3. obsolete (see 60abd1e94168); (detail / hgweb)
4. more robust after shutdown; (detail / hgweb)
5. more sequential access to Session.manager.global_state: avoid minor divergence of tip version; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.4 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.