Commit 75a738f1 authored by Glen Mével's avatar Glen Mével
Browse files

add my name in changelog

parent 48817ac9
......@@ -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, Bedrock Systems)
**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