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;

moved transitional theory Divides to HOL-Library

dropped dubious dest rule which always unfolds a definition in the assumptions

more robust: avoid indirection of repository servers;

tuned output;

merged

enforce rebuild of Isabelle/ML;

minor performance tuning: allow recode operation during YXML parsing;

tuned;

minor performance tuning;

tuned;

tuned;

tuned;

tuned;

tuned signature, following Bytes.Builder.use;