class TProofLogElem: public TNamed

 Constructor.

 Destructor.

 Get max transfer size.

 Set max transfer size.

 Retrieve the content of the associated file. The approximate number
 of lines to be retrieved is given by 'lines', with the convention that
 0 means 'all', a positive number means the first 'lines' and a negative
 number means the last '-lines'. Default is -1000.
 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 current content starting 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.
 TProofLog::Prt is called to display: the location (screen, file, box)
 is defined there.
 Return 0 on success, -1 in case of any error.

 Print a line with the relevant info.

 Special printing procedure.

 Search lines containing 'txt', starting from line 'from'. Return
 their blanck-separated list into 'res'.
 Return the number of lines found, or -1 in case of error.

the name of TProofLogElem is the ordinal number of the corresp. worker
the title is the url