-
Notifications
You must be signed in to change notification settings - Fork 113
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
Use bibtool to organize bibliography #642
Conversation
- [LN97](@cite) | ||
- [Marcus](@cite) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
OK, I just realized these changes first also need to be made in Hecke.jl (CC @thofma). I guess until then this PR needs to be on hold anyway, but that's fine, it's not urgent :-)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Concerning the labels, see my remark in #637
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ah sorry, wasn't aware. Thank you!
To fix #642, but I only want to do a patch release of Hecke.
To fix #642, but I only want to do a patch release of Hecke.
@thofma did you close this on purpose? |
Have to fix one more thing. |
Good to go. Shall I squash it into one commit? |
Now one can add new bib entries by pasting them at the end of the
.bib
file, then running this command to get them formatted and sorted: