blob: 2a341261e56748baac0f7df42196b9390f71a16c (
plain)
1
2
3
4
5
6
7
8
9
|
- **Added:**
:cmd:`Show Lia Profile` prints some statistics about :tacn:`lia` calls.
(`#11474 <https://github.com/coq/coq/pull/11474>`_, by Frédéric Besson).
- **Fixed:**
Efficiency regression of ``lia``
(`#11474 <https://github.com/coq/coq/pull/11474>`_,
fixes `#11436 <https://github.com/coq/coq/issues/11436>`_,
by Frédéric Besson).
|
