clarified layout;

clarified node_required status: distinguish theory_required vs. document_required; more robust and more correct Geometry.in operation;

proper user tool;

tuned comments;

support for EPTCS style with demo document;

tuned message;

clarified delay -- more reactive;

provide Session.init_time as reference point for diagnostic messages;

afford more reactive consolidation; typical timings for big theories in HOL-Analysis: Session.Consolidate_Execution < 5ms for negative test and < 50ms for positive test;

minor performance tuning;

tuned;

afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE; typical timings for big theories in HOL-Analysis: Export.make_entry < 10ms, Document_Output.present_thy < 150ms;

proper executable files for Windows;

further attempts to confine dotnet to $ISABELLE_HOME_USER;

tuned output;

more command-line options;

clarified component settings: always update existing version; remove old component version from $ISABELLE_HOME_USER/etc/components;

more TODO for release;

disable telemetry;

clarified error;

tuned message, example is in NEWS;

proper default_platform;

tuned NEWS;

tuned message;

support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;

tuned signature;

tuned comments;

clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";

clarified options: support lualatex as well, but prefer old pdflatex for demos;

more command-line options;