Commit 433d55e6 authored by Glen Mével's avatar Glen Mével
Browse files

add my name in changelog

parent 48817ac9
Pipeline #61007 passed with stage
in 7 minutes and 26 seconds
......@@ -11,7 +11,7 @@ lemma.
some assertion: they now take any of (`TCOr`) an `Affine` instance or an
`Absorbing` instance. This breaks uses where an `Absorbing` instance was
provided without relying on TC search (e.g. in `by apply ...`; a possible fix
is `by apply: ...`).
is `by apply: ...`). (by Glen Mével)
**Changes in `proofmode`:**
......
Supports Markdown
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