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.

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

[container.requirements.general] Refer to table series a bit more smoothly #1442

Closed
wants to merge 1 commit into from

Conversation

Eelis
Copy link
Contributor

@Eelis Eelis commented Feb 8, 2017

diff

@jwakely
Copy link
Member

jwakely commented Feb 8, 2017

This would be fine today, but if we added a new table before 85 then it would become"83-86", but we might not want the new table included in the range. The current markup would still be correct in that case, referring to the individual tables and not including the new one.

I don't know if that concern is important. It's possible that even if we did add a new table we'd want it in the range.

@Eelis
Copy link
Contributor Author

Eelis commented Feb 8, 2017

Yeah, I don't know either. I started with just adding a comma after "and 85", but then I got inspired by 17.5.3.1p1, which has "Tables 20-27". :)

@godbyk
Copy link
Contributor

godbyk commented Feb 8, 2017

The cleveref package handles these situations nicely:

\usepackage{cleveref}

In \Cref{tab:containers.container.requirements,tab:containers.reversible.requirements,tab:containers.optional.operations}
\tcode{X} denotes a container class containing objects of type...

is typeset as:

In Tables 83–85 X denotes a container class containing objects of type...

cleveref sorts and compresses the references by default. It's smart enough to only compress it into a range (e.g., 83–85) when it is contiguous.

@jwakely
Copy link
Member

jwakely commented Feb 9, 2017

Well that's rather clever :)

@Eelis
Copy link
Contributor Author

Eelis commented Feb 9, 2017

Sounds nifty. But would that be an acceptable dependency?

@tkoeppe
Copy link
Contributor

tkoeppe commented Feb 23, 2017

I'm not wild about this change, I think the status quo is fine. @jwakely, @zygoloid, do you feel strongly either way?

@jwakely
Copy link
Member

jwakely commented Feb 23, 2017

Nope, I'm neutral.

@tkoeppe tkoeppe closed this Feb 24, 2017
@Eelis Eelis deleted the tables branch July 3, 2020 03:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants