cache props;

clarified names; removed remains of old protocol messages;

more thorough protocol_handlers.exit, like file_formats.stop_session;

tuned names;

temporary workaround for 100% CPU usage in OS.Process.sleep;

ML statistics via external process: allows monitoring RTS while ML program sleeps;

clarified catch-all handler --- avoid confusion of Interrupt vs. Exn.Interrupt in varying ML contexts;

avoid failure of "isabelle build -o skip_proofs";

merged

recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);

more compact command_timings, as in former batch-build;

unused;

unused --- superseded by PIDE messages;

more thorough cleanup, e.g. before ML_Heap.save;

discontinued old batch-build functionality;

tailored towards remaining essence

merged

tuned

added theory Tree23_of_List

more robust treatment of thm_names, with strict check after all theories are loaded;

a few more lemmas

merged

lemmas about sets and the enumerate operator

yet another little lemma

merged

merged

merged

strengthened a lemma

A new lemma about abstract Sum / Prod

separation of reversed bit lists from other material

merged

avoid exhaustion of worker threads, notably due to complex interaction of future/promise/lazy in Proofterm.make_thm_node;

more robust: insist in finished future;

unused;

further refinement of code equations for mask operation

uniform mask operation

clearer separation of pre-word bit list material

added lemma

more consequent transferability

more robust scheduler shutdown, notably for spurious crashes;

unclear why I ever asked for type tree2

enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;

proper pretty printing for latex output, notably for pide_session=true (default);

clarified name to avoid duplication (no distinction of data on host = lrzcloud2);

clarified names;

more errors;

follow Phabricator update 2020 Week 27;

tuned;