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

[std] Punctuation after "OK" example comments #3558

Open
jensmaurer opened this issue Dec 15, 2019 · 1 comment
Open

[std] Punctuation after "OK" example comments #3558

jensmaurer opened this issue Dec 15, 2019 · 1 comment
Labels
big An issue causing a large set of changes, scattered across most of the text.

Comments

@jensmaurer
Copy link
Member

I thought the policy for example comments "// OK, explanation" was to use a comma. However, the statistics are not in my favor:

$ grep "// OK," *.tex | wc -l
138
$ grep "// OK:" *.tex | wc -l
251

Asking for confirmation of the policy before providing a large-scale fix.

Incidentally related to #3126.
@jensmaurer jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Dec 15, 2019
@jensmaurer jensmaurer added big An issue causing a large set of changes, scattered across most of the text. and removed decision-required A decision of the editorial group (or the Project Editor) is required. labels Feb 10, 2020
@jensmaurer
Copy link
Member Author

jensmaurer commented Feb 10, 2020 •
edited

Editorial meeting: Confirmed. Some of the colons should become semicolons instead of commas.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
big An issue causing a large set of changes, scattered across most of the text.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jensmaurer