tuned indentation;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified generated Scala, for the sake of "scalac -source 3.3";

discontinue old Java 11 LTS;

misc tuning: support "scalac -source 3.3";

obsolete (see b4e6b82fdb9e);

merged

update for release;

Added tag Isabelle2023-RC4 for changeset 12aac1489f3b

minimal documentation for build cluster support;

more robust access to local variables;

tuned messages: avoid duplicates;

removed junk (following ab07d4cb7d1c, amending 8cd399b25dac);

tuned error;

tuned messages (again);

tuned: prefer explicit types;

support for Host.dirs;

tuned message: failure can happen towards the end, e.g. due to failed sessions or progress.stopped;

support multiple host names;

clarified default options: SQLite build_database is unsupported for Isabelle2023, due to lack of proper transaction_lock;

avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer

tuned message;

tuned;

more accurate treatment of state vs. serial vs. db;

more explicit check;

proper numa_nodes for build_worker;

tuned message;

tuned;

tuned signature;

support hosts with shared directory (e.g. NFS);

tuned message: failure may stem from build_cluster init;

proper sync_database for receive timeout;

clarified source structure;

tuned whitespace;

clarified command-line tools;

tuned output;

clarified signature;

tuned signature;

tuned signature;

proper sequential evaluation;

more robust command options;

performance tuning: avoid redundant db access;

clarified signature: proper treatment of implicit state (amending d0c9d277620e);

performance tuning: avoid redundant db access;

performance tuning: avoid multiple db roundtrips;