//FIXME: BIBTEX_ERROR has been removed from ERRORS for now, since users were irritated
// about those errors which prevented compilation of previously compiling documents.
// Think about a "gentle" transfer to BibTeX error reporting.
//FIXME: BIBTEX_ERROR has been removed from ERRORS for now, since users were irritated
// about those errors which prevented compilation of previously compiling documents.
// Think about a "gentle" transfer to BibTeX error reporting.