class TProofLog: public TNamed, public TQObject

 Constructor.

 Destructor.

 Add new entry to the list of elements.

 Retrieve the content of the log file associated with worker 'ord'.
 If 'ord' is "*" (default), all the workers are retrieved. If 'all'
 is true, the whole files are retrieved; else a max of
 fgMaxTransferSize (about 1000 lines) per file is read, starting from
 the end (i.e. the last ~1000 lines).
 The received buffer is added to the file fname, if the latter is defined.
 If opt == TProofLog::kGrep only the lines containing 'pattern' are
 retrieved (remote grep functionality); to filter out a pattern 'pat' use
 pattern = "-v pat".
 Return 0 on success, -1 in case of any error.

 Display the content associated with worker 'ord' from line 'from'
 to line 'to' inclusive. A negative value
 for 'from' indicates lines counted from the end (tail action); 'to'
 is ignored in such a case.
 If 'ord' is "*" (default), all the workers are displayed.

 Print head info about the content

 Special printing procedure

 Save the content associated with worker 'ord' to finel 'fname'.
 If 'ord' is "*" (default), the log from all the workers is saved.
 If 'opt' is "a" the file is open in append mode; otherwise the file
 is truncated.

 Search lines containing 'txt', starting from line 'from'.
 Print the lines where this happens.

 Set max transfer size.

 Where to log