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);

merged

tuned (again);

prefer strict operation (see also f29056da5903);

more antiquotations;

tuned;

prefer strict operation;

tuned;

clarified signature;

tuned signature;

tuned signature;

tuned;

tuned;

misc tuning;

clarified options;

tuned;

tuned;

merged

added finite simproc

merged

clarified directory layout: templates for user sessions;

tuned proofs;

tuned;

tuned;

tuned;

clarified signature;

proper pattern (amending 40a365360680);

more timing;

tuned;

tuned comments;

tuned;

prefer abstract command kind (in contrast to 367f4512e65c);

tuned;

tuned: avoid warning in IntelliJ IDEA;

more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL;

tuned signature;