blob: 52915ceee9c2420e300fbb47363f178a2c032bcf (
plain)
1
2
3
4
5
6
|
- **Added:**
Typing flags can now be specified per-constant / inductive, this
allows to fine-grain specify them from plugins or attributes. See
:ref:`controlling-typing-flags` for details on attribute syntax.
(`#12586 <https://github.com/coq/coq/pull/12586>`_,
by Emilio Jesus Gallego Arias).
|
