tuned;

tuned documentation;

more robust: disallow empty clusters, so "isabelle build -H" really means cluster build;

clarified modules: centralize default policy;

more explicit types --- fewer warnings in IntelliJ IDEA;

tuned: avoid shadowing of names;

clarified default "isabelle build -j0 -H";

tuned whitespace;

clarifier worker vs. master, which may coincide for local build;

clarified signature: more standard defaults;

clarified signature;

clarified signature;

tuned;

prefer static object, while class is required for "services";

clarified signature: prefer default;

merged

tuned;

more robust: check subclasses as well;

more robust;

support for alternative user home, e.g. to avoid slow NFS shares;

support explicit USER_HOME within SSH session;

tuned;

merged

Further adjustments to the syntax for Lebesgue integration

tuned comments;

more robust: always close, despite failure;

clarified signature;

tuned signature;

tuned comments;

clarified signature;

Distinguish two versions of cvc5 -- one used for Sledgehammer, one for proof reconstruction in SMT. provided by Mathias Fleury

tuned whitespace;

prefer static object, while class is required for "services" (see 47eb96592aa2);

clarified directories; clarified names;

tuned signature;

tuned: prefer explicit update operation for immutable options;

tuned message;

more robust type, with explicit default;

tuned usage message;

clarified signature;

more robust defaults;

merged

added lemmas relpow_trans[trans] and relpowp_trans[trans]

more on disjunctive addition/subtraction

merged

prefer physical processors (see also 4b014e6c1dfe and 26a43785590b);

more robust: avoid occasional problems reading this special file (e.g. SSH.Local or "lxcisa0");

more robust default;

more accurate, notably on lxbroy10 and vmnipkow9;

clarified num_processors: follow Poly/ML (with its inaccuracies);

clarified modules, following Isabelle/ML;

clarified signature;

tuned comments;

merged

the syntax of Lebesgue integrals (LINT, LBINT, ∫, etc.) now requires parentheses

merged

A few lemmas brought in from AFP entries

merged

made destructor-view tactic more robust (by Jan van Brügge)

performance optimization;