blob: 82c14bcfdd323fb6d17b9c48e41991b2a86b1e96 (
plain)
1
2
3
4
|
- **Added:**
Flags :flag:`Lia Cache`, :flag:`Nia Cache` and :flag:`Nra Cache`.
(`#10765 <https://github.com/coq/coq/pull/10765>`_, by Frédéric Besson,
see `#10772 <https://github.com/coq/coq/issues/10772>`_ for use case).
|
