refined treatment of forked proofs at transaction boundaries, including proof commands (see also 7ee000ce5390); stretched meaning of Goal.parallel_proofs to enable future_terminal_proofs in interactive document model, despite its lack for regular forking of proofs;

some support for registering forked proofs within Proof.state, using its bottom context; tuned signature;

tuned signature;

refined status of forked goals;

proper merge of promises to avoid exponential blow-up in pathologic situations (e.g. lack of PThm wrapping);

tuned message;

discontinued old init_components script, superseded by init_components shell function as explained in README_REPOSITORY;

approximative build of pdf documents in 1 pass instead of 3;

more formal isabelle makedist from repository;

removed remains of generated material, which tends to rot;

one more round to ensure that base images are already there, without producing document output themselves;

more robust document setup;

provide polyml-5.4.1 as regular component; discontinued old-style choosefrom settings with hardwired defaults;

clarified handling of raw output messages;

no attempt to build documentation for now -- requires ML_HOME etc. which is not present here;

command 'use' is legacy;

clarified separated_chunks vs. space_explode;

more precise indentation;

modernized specifications;

tuned signature;

renamed Position.str_of to Position.here;

init components from local clone that is used to produce the test distribition, which itself lacks Admin;

discontinued centralistic changelog;

discontinued odd copy of eps logos (cf. 8fc3828fdc8a);

prefer cp over mv, to reduce assumptions about file-system boundaries and GNU vs. non-GNU tools;

removed odd left-over file;

update on "isabelle build" and "isabelle build_doc";

renamed doc-src to src/Doc; renamed TutorialI to Tutorial;

do not hardwire document output options -- to be provided by the user;

more permanent update of keywords (cf. 3517d6f50b12);