blob: fb2545652c4ca07e3b9055f9da6c6fcdd83e493d (
plain)
1
2
3
4
5
6
7
8
|
- **Added:**
:cmd:`Number Notation` and :cmd:`String Notation` now support
parsing and printing of primitive floats, primitive arrays
and type constants of primitive types.
(`#13519 <https://github.com/coq/coq/pull/13519>`_,
fixes `#13484 <https://github.com/coq/coq/issues/13484>`_
and `#13517 <https://github.com/coq/coq/issues/13517>`_,
by Fabian Kunze, with help of Jason Gross)
|
