*** 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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
