... | ... | @@ -22,6 +22,6 @@ Nuisances affecting us but not changing the way we do things: |
|
|
* [#6042](https://github.com/coq/coq/issues/6042): `Generalizable All Variables` affects `Instance`.
|
|
|
* [#5698](https://github.com/coq/coq/issues/5698), [#5250](https://github.com/coq/coq/issues/5250): Primitive projections behave strange.
|
|
|
|
|
|
# Coq Bugs recently fixed / features recently introduced that we are not (yet) taking advantage of
|
|
|
# Coq Bugs recently fixed / features recently introduced that we are not (yet) taking advantage of
|
|
|
|
|
|
* [#6923](https://github.com/coq/coq/pull/6923): Proper control over how `Set` is propagated on imports. Available sibce 8.8. |
|
|
\ No newline at end of file |
|
|
* [#6923](https://github.com/coq/coq/pull/6923): Proper control over how `Set` is propagated on imports. Available since 8.8. |
|
|
\ No newline at end of file |