implicit thy_load context for bibtex files;

clarified signature: prefer Document.Node.Name.is_bibtex;

avoid spurious noise: Prover IDE is meant to check for errors;

clarified signature;

avoid clash with special files in HTML output;

unused;

tuned signature;

prefer existing Resources.check_path;

more accurate bibtex entries;

added command 'bibtex_file' (for PIDE interaction only);

clarified default position for empty message pos;

spelling

Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume

fewer warnings;

clarified positions;

check bibtex database on ML side -- for semantic PIDE editing; tuned signature;

clarified directories;

more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);

check bibtex database: errors and warnings;

more symbols;

Merge

Merge

new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product

more symbols;

tuned;

store full blob source for the sake of markup_to_XML;

PIDE markup for non-theory nodes;

discontinued 'display_drafts' command;

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

NEWS;

uniform preview for Isabelle/jEdit and Isabelle/VSCode;

tuned;

clarified URL: unique node name;

clarified signature;

proper title; clarified modules;

HTML rendering of \<^control> as in Isabelle/jEdit;

auto update;

clarified modules;

proper HTML title;

tuned signature;

tuned output;

merged

isabelle.preview presents bibtex database files as well;

clarified signature;

isabelle.preview presents auxiliary text files as well;

tuned signature;

tuned signature;

bibtex HTML output via external tool;

merged

tuned op's

tuned op's

tuned op's

tuned op's

tuned op's

tuned op's

tuned;