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

Replace \nonterminal with \grammarterm or \cv or \cvqual or ... #1312

Closed
jensmaurer opened this issue Jan 1, 2017 · 3 comments
Closed

Replace \nonterminal with \grammarterm or \cv or \cvqual or ... #1312

jensmaurer opened this issue Jan 1, 2017 · 3 comments
Assignees
@jensmaurer

Comments

@jensmaurer
Copy link
Member

... and remove the macro afterwards, taking care of the use(s) in macros.tex itself.

\nonterminal in running text should be \grammarterm these days.
@jensmaurer jensmaurer mentioned this issue Jan 1, 2017
Closed
jensmaurer added a commit to jensmaurer/draft that referenced this issue Jan 1, 2017
@jensmaurer
Replace \nonterminal with \grammarterm or \cvqual, as appropriate.
d53c50c 
Fixes cplusplus#1312.
@jensmaurer jensmaurer mentioned this issue Jan 1, 2017
Merged
@jensmaurer jensmaurer self-assigned this Jan 1, 2017
jensmaurer added a commit to jensmaurer/draft that referenced this issue Jan 9, 2017
@jensmaurer
Replace \nonterminal with \grammarterm or \cvqual, as appropriate.
66cec8d 
Fixes cplusplus#1312.
tkoeppe pushed a commit that referenced this issue Jan 9, 2017
@jensmaurer @tkoeppe
Replace \nonterminal with \grammarterm or \cvqual, as appropriate. (#…
89ad8fa 
…1316)

Fixes #1312.
@Eelis
Copy link
Contributor

Eelis commented Jan 31, 2017

Is it possible that this ticket was inappropriately auto-closed by @tkoeppe's commit? We do still have a bunch of \nonterminal uses left in the document. (Most of them are addressed by #1315.)

@tkoeppe
Copy link
Contributor

tkoeppe commented Jan 31, 2017

Yes, if you say "fixes" in the commit message, GitHub closes the referenced issue. @jensmaurer: Double-check if this issue is still relevant and reopen?

@jensmaurer
Copy link
Member Author

The remaining appearances of \nonterminal are:

@jensmaurer jensmaurer reopened this Jan 31, 2017
@tkoeppe tkoeppe closed this as completed in f91e85b Feb 5, 2017
tkoeppe added a commit that referenced this issue Feb 5, 2017
@tkoeppe
[macros] Remove unused macro '\nonterminal'
4b499e3 
See also #1312.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jensmaurer jensmaurer

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Eelis @tkoeppe @jensmaurer