blob: 7dc7def4b3dd5a015a340dea9ba4cdc776824816 (
plain)
1
2
3
4
5
|
- **Added:**
Unsafe commands to enable/disable guard checking, positivity checking
and universes checking (providing a local `-type-in-type`).
See :ref:`controlling-typing-flags`
(`#10291 <https://github.com/coq/coq/pull/10291>`_ by Simon Boulier).
|
