blob: 9a07d78144ce828224d5659bc0bde7dc61583d9e (
plain)
1
2
3
4
5
|
- **Changed:**
Change the sort of cyclic numbers from Type to Set. For backward compatibility, a dynamic sort was defined in the 3 packages bignums, coqprime and color.
See for example commit 6f62bda in bignums.
(`#12801 <https://github.com/coq/coq/pull/12801>`_,
by Vincent Semeria).
|
