more bibtex fields;
tuned signature;
clarified signature;
more robust;
tuned;
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
prefer HTTPS;
more accurate message patterns;
implicit thy_load context for bibtex files;
clarified signature: prefer Document.Node.Name.is_bibtex;
clarified positions;
check bibtex database on ML side -- for semantic PIDE editing; tuned signature;
clarified directories; --HG-- rename : src/Pure/Tools/bibtex.ML => src/Pure/Thy/bibtex.ML rename : src/Pure/Tools/bibtex.scala => src/Pure/Thy/bibtex.scala