... | ... | @@ -16,4 +16,8 @@ Bugs for which we carry "good enough" work-arounds, or that influenced the desig |
|
|
Nuisances affecting us but not changing the way we do things:
|
|
|
|
|
|
* [#6042](https://github.com/coq/coq/issues/6042): `Generalizable All Variables` affects `Instance`.
|
|
|
* [#5699](https://github.com/coq/coq/issues/5699), [#5698](https://github.com/coq/coq/issues/5698), [#5250](https://github.com/coq/coq/issues/5250): Primitive projections behave strange. |
|
|
\ No newline at end of file |
|
|
* [#5699](https://github.com/coq/coq/issues/5699), [#5698](https://github.com/coq/coq/issues/5698), [#5250](https://github.com/coq/coq/issues/5250): Primitive projections behave strange.
|
|
|
|
|
|
# Coq Bugs recently fixed 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. |
|
|
\ No newline at end of file |