slightly more robust re-initialization;

isabelle_scala_script is usually found by PATH;

within the Isabelle environment, main executables are always within PATH;

avoid global state change;

more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;

Merge

partial tidy-up of Sylow's theorem

proper option process_output_tail, more generous default;

Conformal_mappings: a big development in complex analysis (+ some lemmas)

tuned;

tuned signature;

proper return code for timeout (amending f868f12f9419);

retain tail out_lines as printed, but not the whole log content;

explicit class Build_Results; cancelled sessions have rc = 1 (again);

more informative Build.build_results; tuned signature;

more informative Process_Result; tuned;

clarified modules;

tuned signature;

Merge

Substantial new material for multivariate analysis. Also removal of some duplicates.

NEWS

refactoring

merged

resolved conflict