\indexentry{revnumerate={\ttfamily revnumerate} (environment)|usage}{1}
\indexentry{environments:>{\ttfamily revnumerate}|usage}{1}
\indexentry{revnumerate={\ttfamily revnumerate} (environment)|main}{7}
\indexentry{environments:>{\ttfamily revnumerate}|main}{3}