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

[version.syn] Use a digit separator to split the year and the month #5109

Closed
JohelEGP opened this issue Nov 15, 2021 · 5 comments
Closed

[version.syn] Use a digit separator to split the year and the month #5109

JohelEGP opened this issue Nov 15, 2021 · 5 comments
Assignees
@jensmaurer

Comments

@JohelEGP
Copy link
Contributor

A naive attempt doesn't work in LaTeX:
1636995164
Even then, I find the dates look better:
Before:
a
After:
b
@jensmaurer jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Nov 15, 2021
@jensmaurer
Copy link
Member

@tkoeppe , this looks like an improvement to me (modulo codeblock magic that we need to prevent, of course)

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 19, 2021

Yes, I agree. This looks good. We'll work out how to implement it properly.

@jensmaurer jensmaurer removed the decision-required A decision of the editorial group (or the Project Editor) is required. label Nov 19, 2021
@jensmaurer
Copy link
Member

jensmaurer commented Nov 19, 2021 •
edited

We should tell the "codeblock" environment not to consider ' a character literal introducer for this particular occurrence.

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 19, 2021

Or we can at least make a specialized environment that has this property, if necessary.

@jensmaurer jensmaurer mentioned this issue Nov 20, 2021
Closed
@jensmaurer jensmaurer self-assigned this Nov 20, 2021
@jensmaurer
Copy link
Member

Not editorial, as shown in #5117.

@JohelEGP JohelEGP mentioned this issue Nov 24, 2021
Open
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

Successfully merging a pull request may close this issue.

[version.syn] Add digit separators between year and month jensmaurer/draft
3 participants
@tkoeppe @JohelEGP @jensmaurer