};
/// This signal emits an informative message
- signals2::signal<void(docstring)> message;
+ signal<void(docstring)> message;
/**
int run(TeXErrors &);
///
- int getNumErrors() { return num_errors;}
+ int getNumErrors() const { return num_errors;}
///
int scanLogFile(TeXErrors &);