[isabelle-dev] NEWS: improved Bibtex support

[Makarius]

*** Isabelle/jEdit Prover IDE ***

* Bibtex database files (.bib) are semantically checked.

* Action "isabelle.preview" is able to present more file formats,
notably bibtex database files and ML files.


*** Document preparation ***

* Document antiquotation @{cite} now checks the given Bibtex entries
against the Bibtex database files -- only in batch-mode session builds.


This refers to Isabelle/48ca44fdc038.  It is the conclusion of all
improvements on Bibtex support that used to be on my TODO list.


	Makarius