We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 18b537d commit 418028cCopy full SHA for 418028c
doc/sphinx/changes.rst
@@ -298,7 +298,7 @@ Tactics
298
(`#17745 <https://github.com/coq/coq/pull/17745>`_,
299
by Gaëtan Gilbert).
300
- **Changed:**
301
- instances declared with flag:`Typeclasses Unique Instances` do not allow backtracking even when the goal contains evars
+ instances declared with :flag:`Typeclasses Unique Instances` do not allow backtracking even when the goal contains evars
302
(`#17789 <https://github.com/coq/coq/pull/17789>`_,
303
fixes `#6714 <https://github.com/coq/coq/issues/6714>`_,
304
by Jan-Oliver Kaiser).
0 commit comments