| 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 |