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

prevent template < from sneaking into the library wording #2785

Closed
zygoloid opened this issue Mar 15, 2019 · 3 comments
Closed

prevent template < from sneaking into the library wording #2785

zygoloid opened this issue Mar 15, 2019 · 3 comments
Assignees
@jensmaurer

Comments

@zygoloid
Copy link
Member

We should fix all the instances of template < in library clauses, and consider adding a CI check to prevent more regressions.
@jensmaurer jensmaurer mentioned this issue Mar 15, 2019
Closed
@jensmaurer jensmaurer self-assigned this Mar 15, 2019
@zygoloid
Copy link
Member Author

Cleaned up for now; we should still consider a CI check for this to prevent more regressions.

@zygoloid zygoloid changed the title some template < have snuck into the library wording prevent template < from sneaking into the library wording Mar 15, 2019
@jensmaurer
Copy link
Member

The core language parts actually use template < quite a lot. So, the first challenge is to find out which LaTeX source files constitute the library part of the standard.

@jensmaurer
Copy link
Member

The new "check.sh" script will detect template < in library clauses; committed in 7108683.

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
2 participants
@zygoloid @jensmaurer