more macOS versions;

merged

prefer Isabelle/Scala operations;

clarified IO, following Java 11 and Isabelle/Scala;

prefer Scala operations;

minor tuning;

more operations on Bytes.T;

more operations on Bytes.T;

avoid hardwired pdf;

merged

adapted to Isabelle/986506233812;

prefer antiquotations;

merged

clarified modules;

more documentation;

tuned whitespace;

clarified modules;

clarified signature: File.read_lines is based on scalable Bytes.T;

prefer scalable Bytes.T;

unused;

prefer scalable Bytes.T;

adapted to Isabelle/39df30349778;

more robust CSV syntax, e.g. for "pull_date";

merged

more operations;

more scalable generated files and code export, using Bytes.T;

proper execution of Bytes.write;

merged

more operations;

removed unused operations;

tuned;

tuned comments;

clarified signature: more operations;

clarified session resources for bootstrap, notably for Scala functions;

tuned;

clarified signature;

tuned;

tuned signature;

clarified types and defaults;

NEWS;

support XZ compression in Isabelle/ML;

merged

prefer scalable byte strings;

tuned comments;

more scalable byte messages, notably for Scala functions in ML;

clarified ML pretty printing;

tuned signature;

clarified signature: more operations;

tuned signature: more operations;

tuned comments;

tuned signature: more operations;

tuned signature;

clarified signature: avoid repeated string copying via Substring.slice;

support for scalable byte strings, with incremental construction;

remove unused file following 51e696887b81;

clarified signature;

more robust: always override ISABELLE_IDENTIFIER from environment;

"isabelle vscode" is regular user-space tool;

clarified options of "isabelle hg_sync" vs. "isabelle sync";

tuned layout;

misc tuning;

clarified document structure;

promote "isabelle sync" to regular user-space tool, with proper documentation;

more comments;

more options;

sync session images, based on accidental local state;

more informative release_snapshot, to see better where the cronjob fails;

more robust, notably for crontab;

clarified names;

tuned;

tuned;

proper make_port for regular situation;

clarified types -- proper default_port via make_port;

proper nominal_port, notably for port forwarding;

merged

avoid noise via context.progress (amending 68162e4f60a7);

more robust treatment of rsync on macOS (see also 96fb1f9a4042);

more robust: no change of directory attributes of initial test, notably target…

tuned whitespace;

merged

clarified context with global defaults;

more robust: protect_args does not work with rsync 2.x from macOS, and is not…

clarified signature: more explicit type Rsync.Context;

tuned signature;

clarified signature;

clarified modules;

more realistic timeout;

tuned whitespace;

removed obsolete self_update: always enabled, notably on lxbroy10 which is the…

clarified remote vs. local build_history: operate on hg_sync directory instead…

avoid redundant meta data: exclude .hg_archival.txt;

clarified signature: cwd can be misleading --- changes meaning of target;

proper operation on String, not Path;

more realistic timeout;

avoid hard-wired document;

more meta data;

merged

clarified signature: more operations;

tuned messages;