Skip to content
Snippets Groups Projects
Commit 8805f473 authored by Ralf Jung's avatar Ralf Jung
Browse files

changelog typography

parent 20b0a19d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
CHANGELOG.md
+ 1
− 1
View file @ 8805f473
...@@ -96,7 +96,7 @@ Coq 8.11 is no longer supported in this version of Iris. ...@@ -96,7 +96,7 @@ Coq 8.11 is no longer supported in this version of Iris.
`iris.proofmode.tactics` to `iris.proofmode.proofmode`. Under normal `iris.proofmode.tactics` to `iris.proofmode.proofmode`. Under normal
circumstances, this should be the only proofmode file you need to import. circumstances, this should be the only proofmode file you need to import.
* Improve performance of the `iIntoEmpValid` tactic used by `iPoseProof`, * Improve performance of the `iIntoEmpValid` tactic used by `iPoseProof`,
especially in the case of large goals and lemmas with many forall quantifiers especially in the case of large goals and lemmas with many forall quantifiers.
(by Armaël Guéneau) (by Armaël Guéneau)
**Changes in `bi`:** **Changes in `bi`:**
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment