v0.0.150-pre
Pre-release
Pre-release
·
133 commits
to master
since this release
- Improve granularity of Lean 4 core folder detection (#446, author: @eric-wieser)
0.0.147-0.0.149 were dud releases that were only published to the VS Code marketplace, not the open-vsx one, due to an open-vsx issue with the Eclipse publisher agreement.
Contributors
eric-wieser