This is makeindex, version 2.14 [02-Oct-2002] (kpathsea + Thai support).
Scanning input file RingsForHomalg.idx....done (29 entries accepted, 0 rejected).
Sorting entries....done (140 comparisons).
Generating output file RingsForHomalg.ind....done (59 lines written, 0 warnings).
Output written in RingsForHomalg.ind.
Transcript written in RingsForHomalg.ilg.
