New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[index] Add index of concept names. #3159
Conversation
I haven't looked at the output, but as long as it works with |
(Uh, same-as shouldn't be italics in the "after" picture. Will fix right now.) |
Editorial teleconference: introduce \libconceptx to fix \cname use in ranges.tex. Otherwise good to merge. |
Rats. |
Is there any way to do different things in an \rSec vs. outside? |
Repaired by #3286. |
For the |
Well, in general we also add exposition-only concepts to the index, because they might be used far away from their definition. That's certainly not the case for same-as-impl, but it feels slightly inconsistent to decide this on a case-by-case basis. |
Ah fair enough, thanks! |
Fixes #2959.