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