diff --git a/RELEASES.md b/RELEASES.md index 5af9bd8d50..1a395d1daa 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -1,6 +1,8 @@ Unreleased --------- +* [Show typeclass and tactic names in profile output](https://github.com/leanprover/lean4/pull/2170). + * [Make `calc` require the sequence of relation/proof-s to have the same indentation](https://github.com/leanprover/lean4/pull/1844), and [add `calc` alternative syntax allowing underscores `_` in the first relation](https://github.com/leanprover/lean4/pull/1844).