adapted to "subst" of Isabelle/e5fcbf6dc687;

more systematic support for special directories (see Isabelle/5894859c5c84);

more informative bibtex errors;

more robust interpretation of data;

initial Kodkod.warmup: preloading and basic integrity test;

clarified treatment of add-on prover_options;

strict init of protocol handlers;

clarified signature;

clarified modules;

tuned;

clarified signature;

updated to scala-2.12.12;

updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;

NEWS;

test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much…

updated to kodkodi-1.5.6: more robust treatment of interrupt;

removed pointless version checks: Isabelle component integration does the job…

more robust treatment of execution with interrupts;

suppress odd warning for context.exit();

more explicit treatment of interrupt;

tuned;

more flexible default for max_threads;

proper default for max_threads;

proper name (amending 742d94015918);

invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);

avoid odd PIDE markup, notably in kokodi input;

clarified names;

clarified signature;

proper treatment of timeout: <= 0 means already timed out, but for…

clarified signature;

proper treatment of absolute deadline vs. relative timeout;

clarified session: no parent image for minor theory imports;

removed obsolete created_temp_dir: ISABELLE_TMP is always present for the…

tuned;

merged

preload library;

update to kodkodi-1.5.4-1;

more realistic kodkod invocation, imitating command-line tool;

clarified signature;

update to kodkodi-1.5.4;

rudiments of Scala interface for Kodkod;

updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;

allow user-defined server commands via isabelle_scala_service;

more systematic support for special directories;

proper init of cumulative settings;

upgrade phabricator: Promote 2020 Week 31 + subsequent change;

clarified management of services: static declarations vs. dynamic instances (e.

proper protocol init (amending 065dcd80293e);

clarified names;

provide protocol handlers via isabelle_system_service;

prefer formal name;

clarified signature (see Isabelle/2b41b710f6ef);

clarified signature;

misc tuning;

clarified demo functions;

clarified protocol: ML worker thread blocks and awaits result from Scala, to…

more documentation;

clarified worker threads;

support JVM runtime statistics;

misc tuning, based on hints by IntelliJ IDEA;

clarified GUI;

tuned GUI;

tuned GUI;

clarified order for GUI;

tuned;

clarified GUI;

ML status widget similar to org.gjt.sp.jedit.gui.statusbar.

show GC progress as "ML cleanup";

support for Poly/ML memory status;

clarified signature;

removed pointless option "ML_statistics": always enabled;

removed pointless GUI controls for ML_statistics --- no longer part of prover…

support for GC state;

updated to polyml-test-f54aa41240d0;

updated to polyml-test-159dc81efc3b;

back to polyml-5.8.1 due to ML compiler crash in HOL-Codegenerator_Test;

NEWS;

provide POLYSTATSDIR to keep $HOME/.polyml clean (requires Poly/ML 52881757b127…

adapted to 7b318273a4aa;

cache props;

clarified names;

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…

clarified catch-all handler --- avoid confusion of Interrupt vs. Exn.Interrupt…

avoid failure of "isabelle build -o skip_proofs";

merged

recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document…

more compact command_timings, as in former batch-build;

unused;

unused --- superseded by PIDE messages;