tuned;

repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process);

discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do;

clarified messages, depending on option "document_echo";

just one cache, via HTML_Context, via Sessions.Store or Session;

merged

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;