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

Typo in corollary environment name #830

Open
Peiffap opened this issue Jun 11, 2020 · 1 comment
Open

Typo in corollary environment name #830

Peiffap opened this issue Jun 11, 2020 · 1 comment

Comments

@Peiffap
Copy link
Collaborator

Peiffap commented Jun 11, 2020

The corollary environment is currently named mycorr, but should only have one "r". grep reveals about 60 uses of this, I'm currently working on a PR which will increase that number though, so this should be fixed once that PR is merged.
@blegat
Copy link
Collaborator

blegat commented Jun 11, 2020

My bad, I was initially making the mistake "corrolary", I fixed it but apparently never renamed the name of the environment

@Peiffap Peiffap mentioned this issue Jun 17, 2020
Open
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
@blegat @Peiffap