clarified signature;

prefer official UTF-8 decoding (in contrast to 2541de190d92): this is also more efficient (factor 10-20);

tuned;

unused (see also c2f176a38448);

more robust message header: prefer explicit props_length/props_chunks over odd YXML.embed_controls;

tuned signature: more operations;

tuned comments;

tuned whitespace;

use ansi colored diffs;

add diffs to build manager;

clarified: components vs. extra components;

compress reports;

clarified build report;

merged

enforce rebuild of Isabelle/ML;

clarified signature, following 43323d886ea3;

clarified signature: more direct operation;

clarified signature: more direct Bytes.raw and subsequent UTF-8 default decoding;

clarified signature;

tuned;

unused;

tuned;

clarified signature;

unused;

tuned signature;

simpler theorem

clarified: control verbosity;

enforce rebuild of Isabelle/ML;

more uniform Bytes.read_stream vs. File.read_stream;

clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;

more specialized operations;

notable performance tuning for Library.separated_chunks variants; more direct NoSuchElementException;

tuned;

only consider jobs late if they have ancestors (amending 12901c03b416);

enforce rebuild of Isabelle/ML;

misc tuning: more uniform read_stream vs. read_file;

proper limit for read operation (amending ac4d53bc8f6b);

presumably unused (see also f992769dea97);

remove inactive (e.g., crashed) hosts from scheduling;

tuned;

add timeout to build manager tasks/jobs (e.g. for cluster builds that don't terminate after error on host);

clarified: more operations;

tuned website;

more significant HOL/Examples;

tuned document layout, for more prominent presentation;

tuned proofs;

tuned;

clarified signature: more explicit XML.Body types, more uniform Symbol.encode_yxml;

tuned signature: more operations;

merged

follow Phorge 2024 week 19;

tuned signature;

minor performance tuning;

clarified modules;

minor performance tuning;

minor performance tuning;