| Wed, 02 Oct 2019 21:27:51 +0200 | wenzelm | clarified signature -- potentially more robust; | changeset | files |
| Wed, 02 Oct 2019 20:58:09 +0200 | wenzelm | just one dump_checkpoint Main -- potentially more robust; | changeset | files |
| 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 |