#include "OutputParams.h"
-#include "support/docstring.h"
+#include "support/strfwd.h"
#include "support/FileName.h"
#include "support/signals.h"
};
/// 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 &);