This is makeindex, portable version 2.11 [19-Oct-1991].
Scanning input file record_proof.idx....done (29 entries accepted, 0 rejected).
Sorting entries....done (163 comparisons).
Generating output file record_proof.ind....done (59 lines written, 0 warnings).
Output written in record_proof.ind.
Transcript written in record_proof.ilg.
