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
Use "requirement" in grammar font in expr.prim.req #3648
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
See above.
You change some "s" in places that weren't previously in scope for this pull request (ok), but you didn't change the "s" things for the stuff that you originally changed here. That's not really progress. |
Sorry. Learning git pull requests and tex at the same time... |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ok, looks good now.
Note to committer: Needs squashing and fixing of the commit message.
[expr.prim.req] uses grammarterm <em><code>requirement</code></em> in paragraph 5, but normal font in paragraph 6. Term "requirement" is never defined in this clause, but it has a different meaning in the library.
There's no need for braces around or near the |
(Braces were required in former times due to LaTeX-isms.) |
[expr.prim.req] uses grammarterm
requirement
in paragraph 5, but normal font in paragraph 6. Term "requirement" is never defined in this clause, but it has a different meaning in the library.