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

Guidelines for introducing \labels #5884

Open
JohelEGP opened this issue Oct 4, 2022 · 1 comment
Open

Guidelines for introducing \labels #5884

JohelEGP opened this issue Oct 4, 2022 · 1 comment

Comments

@JohelEGP
Copy link
Contributor

JohelEGP commented Oct 4, 2022

#5883 made me wonder. At which point does introducing a \label to existing text becomes obviously valuable? How about \labels for new wording (pure additions or rewrites)? I'd like some guidelines on this.
@jensmaurer
Copy link
Member

jensmaurer commented Oct 4, 2022 •
edited

In the long term, I want "term" labels for all defined terms. I think I have a patch somewhere in these pull requests where these are auto-generated. And then, we can \ref to the actual term definition (disguised as a label) instead of referring to subclauses.

I'm not sure the editorial team has consensus we want to go there, and actually apply the necessary steps.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@JohelEGP @jensmaurer