v0.0.213
·
121 commits
to master
since this release
- Add client-side support for a trace search mechanism (#658)
- Clean up all click interactions in the InfoView (#661)
- Add abbreviations for
→ₛₗ(#659, author: @yapudpill) - Fix the 'Show Documentation Resources' command to point to the right URL on the new Lean website (#660)
Contributors
yapudpill