[isabelle-dev] NEWS: improved Bibtex support

Makarius makarius at sketis.net
Sat Dec 30 14:21:00 CET 2017

*** 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.


More information about the isabelle-dev mailing list