| Fri, 07 Aug 2020 11:46:14 +0200 | wenzelm | avoid failure of "isabelle build -o skip_proofs"; | changeset | files |
| Thu, 06 Aug 2020 23:46:57 +0200 | wenzelm | merged | changeset | files |
| Thu, 06 Aug 2020 23:44:43 +0200 | wenzelm | recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a); | changeset | files |
| Thu, 06 Aug 2020 23:27:52 +0200 | wenzelm | more compact command_timings, as in former batch-build; | changeset | files |
| Thu, 06 Aug 2020 23:13:24 +0200 | wenzelm | unused; | changeset | files |
| Thu, 06 Aug 2020 22:58:18 +0200 | wenzelm | unused --- superseded by PIDE messages; | changeset | files |
| Thu, 06 Aug 2020 22:54:22 +0200 | wenzelm | more thorough cleanup, e.g. before ML_Heap.save; | changeset | files |