blob: 99efda3a5ba2e210c9183c95386090c53e441a89 (
plain)
1
2
3
4
5
|
- **Changed:**
The printing order of :cmd:`Print Classes` and :cmd:`Print Graph`, due to the
changes for the internal tables of coercion classes and coercion paths.
(`#13912 <https://github.com/coq/coq/pull/13912>`_,
by Kazuhiko Sakaguchi).
|
