clarified signature;

clarified modules;

clarified modules; clarified transactions;

clarified modules: Build_Log.private_data provides raw data access without transaction_lock;

more thorough transaction_lock;

obsolete, see also a5896fe040dd;

removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);

provide src/Tools/Demo as example for system component with Isabelle/Scala tool;

merged

more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);

clarified buffer_size;

merged

disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1);

workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read-only text;

tuned;

prefer Unix-domain socket on Unix;

support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;

tuned;

clarified signature: more general make_streams;

tuned;

more robust exception handling (amending 8cc1ae43e12e);

clarified signature: avoid deprecated URL constructors;

avoid deprecated URL constructors;

proper split;

properly sort entries;

tuned;

tuned;

better estimation for unknown jobs;

clarified and tuned timing estimation;

split actual approximation from data handling;

clarified timing data vs. timing entries: full top-level data view vs. dynamic partial data;

proper filter for approximations;