clarified afp_pull_date: both repository versions are relevant;

clarified stored build_args;

partition AFP sessions according to structure, which happens to cut it roughly into equal parts;

support for AFP in build_history and remote_build_history;

tuned whitespace;

support for AFP versions;

tuned signature;

tuned signature;

support for AFP versions;

tuned;

added lemmas, tuned spaces

entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;

more informative Imports.Report with actual session imports (minimized);

more robust: allow URLs;

more robust: allow Windows file names;

clarified signature;

relaxed assm

back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);

reactivated unfinished tool (cf. a3a847c4fbdb);

tuned whitespace;

clarified meta_digest;

tuned;

added isablle build option -f;

canonical multiplicative euclidean size

clarified parity

clarified uniqueness criterion for euclidean rings

tuned proofs

tuned imports

fixed markup

ignore isolated nodes by default;