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;