-
Notifications
You must be signed in to change notification settings - Fork 110
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
Remove deprecation notations introduced in MathComp 2.0.0 #1190
Conversation
f20ea3e
to
f05b423
Compare
Thanks, this seems to require less overlays than I feared. |
@CohenCyril Would you mind taking care of real-closed (since you are working on its refactoring PR)? |
I am actually in the way and will provide a sed script in case it's of any use for others. |
f05b423
to
dc43284
Compare
dc43284
to
906475e
Compare
2e4cff0
to
f8bd203
Compare
@CohenCyril (also @Tragicus) Since you are working on Abel and it seems to have a breakage not introduced in this PR (probably introduced in math-comp/real-closed#59), can you take a look at it? (No hurry. This PR won't be merged before #1166.) |
Yes, I will take a look at it shortly. |
Thanks! |
f8bd203
to
4b713fe
Compare
4b713fe
to
c0ede76
Compare
@pi8027 CI green, if you do the changelog, we can merge this |
c0ede76
to
be50e86
Compare
9af220e
to
909cfee
Compare
Thanks @pi8027 for all the work here! |
Motivation for this change
This PR removes deprecation notations introduced in MathComp 2.0. This helps us in making some files smaller.
Things done/to do
CHANGELOG_UNRELEASED.md
[ ] added corresponding documentation in the headersCompatibility with MathComp 1.X
[ ] I added the labelTODO: MC-1 port
to make sure someone ports this PR tothe
mathcomp-1
branch or I already opened an issue or PR (please cross reference).Automatic note to reviewers
Read this Checklist and put a milestone if possible.