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;

clarified HTML_Context: just one context type;

unused (see also 217e6cf61453, 5e7916535860);

merged

clarified Theory_Cache: prefer immutable data with Synchronized variable; clarified Export_Theory.Theory vs. Entity tables; entity_ref: proper treatment of entity kind;

tuned signature;

unused;