You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
\oldconceptdefn is just broken; it does not generate italics index entries.
The concepts under "requirements" are manually added using \indextext{...\idxoldconcept...}. This needs a serious cleanup, but we should first decide what we want. I think putting them on the top level of the index is probably where people are most likely to look. But the space under "requirements" is also tempting.
Some are scattered, others, not indexed:
The text was updated successfully, but these errors were encountered: