reduce redundancy: avoid huge lists;

more detailed profiling including "names"; avoid overlapping results;

tuned;

misc tuning and clarification;

slightly more compact heap: better sharing of persistent tuples;

added method to generate build schedules directly;

clarified load vs. apply vs. make;

tuned;

tuned heuristic;

use cpu time for approximation;

lower bound for approximated times;

use full timing information in build schedule;

consistent hosts ordering;

filter hosts properly;

merged

more compact representation of theory_id -- via consecutive thread-local ids;

misc tuning and clarification;

more compact representation;

more compact representation;

tuned signature;

more compact representation of theory_id;

tuned signature;

compact representation of sets of integers;

generated build schedule explicitly (e.g., for further analysis);

de-duplicated specification of class ring_bit_operations

generalized

restructured

grouped lemmas for symbolic computations

sorted out lemma duplicates

more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);

tuned whitespace;

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;

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;

prefer symbolic build_history_base_arm;

build_history: proper support for ISABELLE_APPLE_PLATFORM64;

clarified isabelle_hg (again, see b9d59669904a);

clarified signature: explicit Remote_Build.count instead of duplicate entries (see also ee8c014526dc);

clarified signature: more operations and options concerning Isabelle hg;

performance tuning: cache graph;

tuned signature: fewer warnings in IntelliJ IDEA;

unused (see also 004b39bf06a5);

clarified signature and modules: more explicit Build_Log.History;

tuned: avoid recursion;

tuned;

avoid duplicate data;

output more data;

tuned whitespace;

clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;

proper ml_statistics (amending aeb511a520f4);

unify error messages;

add file information to toml parse context and error messages;

add position information to toml parser and error messages;

properly concatenate toml files: regular toml rules still apply (e.g., inline values may not be changed), but values defined in one file may be updated in another;

allow re-defining keys in toml object (already checked during parse time);

clarified toString for toml objects;

tuned