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:
algebra
character
field
fingroup
solvable
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: Oct 13 2024 at 01:02 UTC