replaced shell script by Isabelle/Scala;

tuned;

tuned whitespace;

clarified;

tuned;

tuned message;

more robust wrt. old versions that use clear-text properties (e.g. Timing in build_history_base);

tuned;

integrity test of build_history vs. build_history_base; misc tuning and clarification;

clarified log_subdir vs. log_filename; support for sequential and parallel task blocks (unnamed);

tuned;

tuned;

provide USER_HOME, such that symbolic Path.explode("~") can be used remotely;

tuned signature; copy_dir using *this* Isabelle_System: note that File.bash_path is already expanded, but no variables are used here;

clarified modules;

allow to exclude named tasks;

support for separate sub-system options, independent of main Isabelle options; tuned;

tuned;

tuned;

more cleanup;

separate ISABELLE_HOME_USER (with its etc/settings);

renamed lemma to a more consistent name

tuned

remove accidentally oops'ed (and wrong) lemma

transfer lifting rule for numeral

more standard naming convention

tuned;

special case for local contrib, e.g. lxbroy10;

merged

tuned signature;

tuned;

clarified task logging via log service;

more explicit management of tasks; separate logger thread with exclusive access to main.log;

tuned;

added clone_repository; tuned;

support remote repositories via ssh command execution; tuned;

tuned signature;

modernized;

separate type class for arbitrary quotient and remainder partitions

stripped dependency on pragmatic type class semiring_div

simplified: no internal state for Mercurial;

explicit indication of Admin tools;

clarified files;

explicit timezone for the sake of lxbroy10;

proper redirection;

tuned output;

tuned message -- more parsable;

tuned signature;