more robust init;

clarified signature: more operations;

support interpreted/typed entries via Registry.Category and Registry.Table;

clarified signature: more operations;

clarified output;

support for global registry;

clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";

slightly less technical formulation of very specific type class

weakened dependency

explicit type class for discrete linordered semidoms

proper dummy timing entries;

use only finished sessions in timing data;

tuned;

performance tuning for build schedule: explicit schedule generation, without mixing heuristics;

performance tuning for build schedule: faster stopping;

performance tuning for timing heuristic: pre-calculate graph operations;

move timing data into scheduler for more efficient heuristics (e.g., with pre-calculated values);

clarified signature: emphasize mutable instance;

clarified signature: more operations;

support for explicit SSH hostname;

proper local host (amending 62d7ef1da441);

merged

added lemma

proper default for disjunction (amending 9f7a94117666);

tuned;

more operations;

avoid option -C: free this latter for build-related configuration;

more direct indentation, using Symbol.spaces;