blob: 9cf62fb595356f4b902350ae2c97d9fcb933a92f (
plain)
1
2
3
4
5
6
|
- **Fixed:**
:tacn:`simpl` and :tacn:`hnf` now reduce primitive functions
on primitive integers, floats and arrays
(`#13699 <https://github.com/coq/coq/pull/13699>`_,
fixes `#13579 <https://github.com/coq/coq/issues/13579>`_,
by Pierre Roux).
|
