Minutes May 4 2020 - math-comp/math-comp GitHub Wiki

Changes between beta and final should go to CHANGELOG_UNRELEASED.md, the RM says

495: the entry is only about unreleased versions, so not relevant for a changelog targeting the final user. Agreement on removing it. Cyril suggests amending that changelog entry suggesting how to migrate to the newly introduced lemmas.

493: seems safe to merge

496: there is time to code this

92: after #270, there is a plan for it. Cyril updating the issue.

138: it is just a doc, Christian takes it

212: Cyril pings Anton

207: partial overlap with MC-analysis (a file is copied there). Reynald: we could host it in MCA for a while. The attempt got stack since porting character to it revealed a problem with the definition. Cyril plans to give it a try in June. Reynald will try a quick rebase.