v0.0.137
·
181 commits
to master
since this release
- Add 'Go to definition' entry to context menu in InfoView (#408)
- Re-add stale dependency notifications for older lean4 versions (#425)
- Add and change a couple of abbreviations (Author: @fpvandoorn, #422)
- Replace Lean 3 extension compatibility with warning to fix a semantic highlighting bug (#426)
Contributors
fpvandoorn