blob: 59bf960a0f08f216982f7b21a0c412d73c0672f2 (
plain)
1
2
3
4
5
6
|
- **Changed:**
Native-code libraries used by :tacn:`native_compute` are now delayed
until an actual call to the :tacn:`native_compute` machinery is
performed. This should make Coq more responsive on some systems
(`#13853 <https://github.com/coq/coq/pull/13853>`_, fixes `#13849
<https://github.com/coq/coq/issues/13849>`_, by Guillaume Melquiond).
|
