tuned --- fewer warnings;

tuned;

tuned --- fewer warnings;

tuned --- fewer warnings;

tuned --- fewer warnings;

more robust error;

tuned --- fewer warnings;

tuned --- fewer warnings;

updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);

tuned --- fewer warnings;

slightly more efficient Term.fastype_of (only little impact in regular…

tuned --- fewer warnings;

tuned --- fewer warnings;

tuned --- silence odd warning;

tuned --- fewer warnings;

tuned --- avoid deprecated conversions between certain number type;

tuned --- avoid deprecated Predef.any2stringadd;

tuned --- fewer warnings;

tuned --- fewer warnings;

tuned --- fewer warnings;

download more directly, via means of JVM;

clarified signature, according to Isabelle/Scala;

download on separate thread;

clarified signature;

tuned;

tuned signature;

proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);

more robust (amending 87403fde8cc3): notably allow symlink to existing…

more Isabelle/ML/Scala operations;

more Isabelle/ML/Scala operations;

proper src1, amending 20157c8ab3f3;

more Isabelle/ML/Scala operations;

tuned;

proper File.eq, amending df49ca5da9d0;

clarified modules: more like ML;

tuned;

tuned;

obsolete;

discontinued somewhat pointless "integrity test of build_history": it fails…

more direct make_directory in ML and Scala, but ssh still requires perl for…

more checks;

clarified message;

clarified comments;

clarified message;

clarified message;

proper "latest" tag, otherwise the default pull command from https://hub.docker.

more on Isabelle_System.bash;

NEWS;

merged

adapted to Isabelle/0110e2e2964c;

adapted to Isabelle/f0db1e4c89bc;

merged

more direct timing from bash_process wrapper;

clarified uses of Isabelle_System.bash_process: more checks, fewer messages;

tuned signature;

tuned;

tuned;

clarified signature, following Isabelle/Scala;

clarified signature: Isabelle_System.bash_process is strict and thus cannot…

clarified signature;

clarified signature: always trim_line of Process_Result.out/err, uniformly in…

clarified signature, following Isabelle/Scala;

tuned;

tuned signature;

clarified signature: process_result timing from Isabelle/Scala;

more accurate process_result;

more accurate process_result in ML, corresponding to Process_Result in Scala;

proper treatment of process_result;

unused;

clarified: proper trim_line for error;

clarified lines (again);

adapted to Isabelle/440546ea20e6;

clarified modules;

more uniform Bash.process: always ask Isabelle/Scala;

clarified compiler options;

more reactive protocol messages, e.g. for Scala.function (relevant for Bash.

tuned comments;

proper links to Isabelle2020 archive;

update for release;

removed obsolete RC tags;

more hints;

merged

Added tag Isabelle2021 for changeset 7e2a9a8c2b85

provide naproche-755224402e36;

provide naproche-4ad61140062f;

merged

Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b

provide naproche-6d0d76ce2f2a;

updated to flatlaf-1.0;

tuned NEWS;

more robust interrupt handling as in Future.forked_results (amending…

tuned comments;

more parallelism: avoid exhaustion of standard thread pool;

discontinued outdated archive;

more robust: resolve historic components via current tool to access current…

tuned signature;

more parallelism;