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;

proper URL;

document_build engine for "lipics", with options and document_files;

clarified signature: allow to change options in instances of Document_Build.Engine;

tuned signature;

clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;

Better use the finite simproc selectively only

tuned document;

tuned document;

clarified LaTeX style;

support for Springer LLNCS with demo document;

prefer explicit utf8 for old pdflatex;

tuned;

proper chapter (amending 809cd1195795);