Stream: math-comp devs

Topic: Issue 436 (call for PRs)


view this post on Zulip Reynald Affeldt (May 21 2020 at 11:49):

Issue 436: call for PRs

When preparing the next release of mathcomp, we thought that
issue 436 would better be addressed by several people. It is
about revising the use of numerical occurrence selectors
(https://github.com/math-comp/math-comp/issues/436).

Any PR regarding this issue about the files in the following
directories is very welcome:

Basically, what to do boils down to grep for the following
pattern {[0-9 -]*[0-9 ]} (for example with isearch-forwad-regexp
in emacs) and draw inspiration from Sakaguchi-san's PR
(https://github.com/math-comp/math-comp/pull/504) who
already took care of the files in the ssreflect directory.
Here is an executive summary of what he did:
https://github.com/math-comp/math-comp/issues/436#issuecomment-629141629

Please, advertise any on-going effort about this issue in this Zulip topic.

Thank you,


Last updated: Aug 11 2022 at 01:03 UTC