+ std::vector<Format const *> const
+ intToFormat(std::vector<int> const & input);
+ ///
+ bool scanLog(Buffer const & buffer, std::string const & command,
+ support::FileName const & filename, ErrorList & errorList);
+ ///
+ bool runLaTeX(Buffer const & buffer, std::string const & command,
+ OutputParams const &, ErrorList & errorList);
+ ///
+ ConverterList converterlist_;