formal check of @{cite} bibtex entries -- only in batch-mode session builds;

clarified check, notably for bibtex theory (amending 5f082b1fa9fa);

NEWS;

proper check for imports, not just ROOT entries;

tuned signature;

implicit thy_load context for bibtex files (VSCode);

bibtex theory is always required and thus eventually consolidated;

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