more formal theory and session names; tuned whitespace;

proper NEWS after Isabelle2021;

updated descriptions;

allow system option short form NAME for NAME=true for type string, not just bool; support short system options "-o document" and "-o system_log";

tuned;

more robust within session "HOL";

merged

suppress theories from other sessions, unless explicitly specified via mirabelle_theories;

clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);

refer to theory "segments" only, according to global Build.build_theories and Thy_Info.use_theories;

tuned;

more uniform schedule_theories, notably for "present" and "commit" phase after loading;

tuned;

moved more legacy to AFP

clarified modules;

clarified check (refining fc828f64da5b): etc/settings or etc/components is not strictly required according to "init_component", and notable components only have session ROOTS (e.g. AFP/thys);

tuned;

more thorough update of required files (amending 1529c3eb6bac);

clarified examples;

tuned proofs;

misc tuning --- following hints by Jørgen Villadsen (see also 1ce1bc9ff64a);

tuned --- reduced source complexity;

proper usage (amending f7ea394490f5);

merged, resolving minor conflict;

allow build session setup, e.g. for protocol handlers;

unused;

tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated);

clarified signature;