blob: 02213f22e581ddb9c4bee28094aee40d39ca6f15 (
plain)
1
2
3
4
5
6
7
|
- **Added:**
Added a ``printf`` macro to Ltac2. It can be made accessible by
importing the ``Ltac2.Printf`` module. See the documentation
there for more information
(`#13236 <https://github.com/coq/coq/pull/13236>`_,
fixes `#10108 <https://github.com/coq/coq/issues/10108>`_,
by Pierre-Marie Pédrot).
|
