-
Notifications
You must be signed in to change notification settings - Fork 772
All definitions should be indexed #329
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
Comments
The fun part of this is that some definitions use \term and have an \indextext next to it. I agree \defnx is technically superior, though. For what it's worth, there are 684 mentions of \term, which should probably all become either \defn or \placeholder or something else. |
I think PR #980 addresses part of that. It's pending review. |
Partially addresses cplusplus#329.
Partially addresses cplusplus#329.
Partially addresses cplusplus#329.
That's true. I find it useful to browser the pending pull requests periodically to see what's pending. Feel free to edit pending PRs with issue links as you find them. |
Partially addresses cplusplus#329.
with \grammarterm or \defn/x as appropriate. Also add an index entry. Partially addresses cplusplus#701. Partially addresses cplusplus#329.
with \grammarterm or \defn/x as appropriate. Also add an index entry. Partially addresses cplusplus#701. Partially addresses cplusplus#329.
with \grammarterm or \defn/x as appropriate. Also add an index entry. Partially addresses cplusplus#701. Partially addresses cplusplus#329.
Update to quantify the "big" label: there's now 216 uses of \term left. |
As I mentioned in #3435, these look wrong:
|
It was decided at the Rap. mtg that all definitions should be indexed, i.e., definitions which use \term{} should be fixed to use \defn{} or \defnx{}.
The text was updated successfully, but these errors were encountered: