Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[meta.rel] Fix for for INVOKE in table 54 #710

Merged
merged 1 commit into from May 11, 2016
Merged

[meta.rel] Fix for for INVOKE in table 54 #710

merged 1 commit into from May 11, 2016

Conversation

AlisdairM
Copy link
Contributor

Fix the font for the use of INVOKE in the two new additions
to table 54, is_callable and is_nothrow_callable. Considered
adding a new \invoke command and applying that consistently,
but decided I am not a LaTeX hacker yet, and took the easy
way out.

@AlisdairM
[meta.rel] Fix for for INVOKE in table 54
6c3c605 
Fix the font for the use of INVOKE in the two new additions
to table 54, is_callable and is_nothrow_callable.  Considered
adding a new \invoke command and applying that consistently,
but decided I am not a LaTeX hacker yet, and took the easy
way out.
@AlisdairM
Copy link
Contributor Author

I opened a separate issue, #709, for the overflowing of the table column.

@tkoeppe
Copy link
Contributor

tkoeppe commented May 10, 2016

@zygoloid, @jwakely: PTAL

@jwakely jwakely merged commit 7201dbf into cplusplus:master May 11, 2016
@jwakely
Copy link
Member

jwakely commented May 11, 2016

N.B. we already have:

\newcommand{\EXPLICIT}{\textit{\texttt{EXPLICIT}}}

And for the Networking TS I defined:

\newcommand{\DEDUCED}{\textit{\texttt{DEDUCED}}}

So I would be in favour of adding \INVOKE too. I didn't check, but it might need to be slightly different, because EXPLICIT and DEDUCED are only(?) used inside codeblocks, whereas we sometimes use INVOKE in the middle of prose.

@AlisdairM AlisdairM deleted the fix_font_for_INVOKE branch May 18, 2016 02:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@AlisdairM @tkoeppe @jwakely