blob: 8983e162fb42b16d6952f277a2a0f1f1f15ab779 (
plain)
1
2
3
|
- Changed heuristics for universe minimization to :g:`Set`: only
minimize flexible universes (`#10657 <https://github.com/coq/coq/pull/10657>`_,
by Gaëtan Gilbert with help from Maxime Dénès and Matthieu Sozeau).
|
