| Wed, 02 Oct 2019 14:45:37 +0200 | wenzelm | more robust: avoid update/interrupt of long-running print_consolidation; | changeset | files |
| Tue, 01 Oct 2019 20:21:30 +0200 | wenzelm | avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value; | changeset | files |
| Tue, 01 Oct 2019 19:54:42 +0200 | wenzelm | consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies); | changeset | files |
| Tue, 01 Oct 2019 19:08:24 +0200 | wenzelm | obsolete (see 60abd1e94168); | changeset | files |
| Tue, 01 Oct 2019 11:42:23 +0200 | wenzelm | more robust after shutdown; | changeset | files |
| Tue, 01 Oct 2019 11:29:03 +0200 | wenzelm | more sequential access to Session.manager.global_state: avoid minor divergence of tip version; | changeset | files |
| Mon, 30 Sep 2019 21:01:08 +0200 | wenzelm | clarified share_common_data: after finished checkpoint, before next edits; | changeset | files |