new lemmas about convex, concave functions, + tidying

proper support for arm64;

no perl (amending 59ef23ac81ab);

merged

Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b

merged

Preserve variable name z in VAR {z = t}

back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;

updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);

more precise URL

tuned page breaks

cover all possible kinds, notably for references outside of this theory (amending 129fb11b357f);

proper foundational order;

back to non-strict Export_Theory.read_theory (without warning): theories could have been skipped due to "condition";

use all entity kinds from theory export, e.g. "method", "attribute";

clarified signature;

clarified physical_ref;

proper treatment of session build hierarchy;

proper used_theories for session build hierarchy, not known_theories from imported sessions;

present theories from imported sessions as required;

avoid multiple copies of fonts; proper fonts prefix for aux. files;

more compact persistent data;

tuned;

proper term_cache;

prefer "NAME|KIND" format, as already used in Isabelle/MMT and Isabelle/Dedukti;

tuned;

observer proper session hierarchy (according to build_graph): thus exported artifacts are always valid;

tuned;

clarified order: prefer bottom-up construction of partial content;

more thorough update_global_index: overwrite old content;

tuned;

tuned;