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;

proper inflection point check;

tuned;

slightly more elementary characterization of unset_bit

more direct characterization of binary bit operations

tuned;

clarified timing data operations: proper estimation (instead of known points);

use proper max threads (limited by available hardware) in heuristics;

clarified time estimation: does not use config;

handle inflection point in interpolation with monotone prefix;

proper computation of sorted prefix;

better build time interpolation: model with Amdahl's law where applicable;

proper piecewise linear build time interpolation;

properly incorporate running tasks into timing heuristic;

clarified ready vs. next ready;

introduced path heuristic abstraction;

base abstract specification of NOT on recursive equation rather than bit projection

modernized, reordered, generalized

more correct type annotation

proper build with jdk-21 (amending 4fb5e6499da9);

NEWS;

update to jdk-21.0.1; enforce rebuild of Isabelle/Scala + Isabelle/ML;

rebuild jedit with minimal patch for jdk-21, following SVN 25690;

clarified modules;

suppress duplicate entries systematically using log_name: e.g. relevant for AFP;

clarified operation: pick current pull_date instead of previous one;

operations AND, OR, XOR are specified by characteristic recursive equation

clarified toml keys operations;

tuned;

clarified toml keys: more operations;

use toml key operations properly; clarified module;

clarified toml keys formatting vs. toString;

clarified keys module;

pull out toml keys module;

clarified toml parser interface;