+ BIBTEX_ERROR = 16384,
+ ///
+ //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.