clarified signature;

clarified "hidden" terminology;
updated component;

clarified signature;

tuned whitespace;

more explicit Isabelle_Fonts.Entry;
more robust font embedding into PDF and HTML;

clarified modules;

clarified presentation;

more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;

proper return code for runtime failure;

proper return code (true) if file is absent;

more informative error, notably for missing executable;

more tight HTML output: avoid extra lines within <pre>;

HTML output for Markdown elements;
clarified HTML operations;

store full blob source for the sake of markup_to_XML;

PIDE markup for non-theory nodes;

action "isabelle.draft" for plain-text preview;

uniform preview for Isabelle/jEdit and Isabelle/VSCode;

proper title;
clarified modules;

clarified modules;

tuned signature;

clarified signature;

isabelle.preview presents auxiliary text files as well;

purge log files -- avoid old errors;

expose bibtex errors;

proper \isakeeptag (amending 13b5c3ff1954);

tuned message;

tuned messages;

removed obsolete option (see 74a1b722507e);

re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;

tuned rendering;

more HTML rendering as in Isabelle/jEdit;
tuned;

tuned signature;

clarified signature;

HTML preview based on PIDE markup;

tuned layout (amending 8040d2563593);

generate CSS for Isabelle fonts;

tuned signature;

tuned signature;

tuned layout;

modernized generated HTML;

clarified modules;

tuned signature;

tuned signature;

proper base name;

clarified YXML vs. symbol encoding: operate on whole message;

clarified fonts;

tuned;

more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;

back to exact copy of non-text file (amending dcc8e1d34b18);
explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES;

clarified modules;

Isabelle fonts via external component;

avoid odd permissions of fresh tmp_file;

server-side fonts;

more Present operations on Scala side;

tuned signature, clarified modules;

tuned signature;

do not absorb I/O errors;

proper path -- I/O was hidden due to permissiveness;

include session description in chapter index;
prefer alphabetical order;

discontinued "isabelle usedir" option -r (reset session path);
simplified internal session identification: chapter / name;
clarified chapter index (of sessions) vs. session index (of theories);
discontinued "up" links, for improved modularity also wrt. partial browser_info (users can use "back" within the browser);
removed obsolete session parent_path;

maintain session index on Scala side, for more determistic results;
removed unused HTML operations;