v0.0.142-pre

• Use the correct toolchain when opening sub-folders of Lean 4 projects (#433)

v0.0.141-pre

• Add support for multi-toolchain projects and support correct operation when no project folder is opened (#428)

v0.0.140

• Fix an InfoView performance bug that was introduced recently (#432)
• Refer to setup guide in some errors encountered by new users (#429)

v0.0.139

This release was an accident and is identical to v0.0.138.

v0.0.138

• Fix a bug that would lead to the goals in the InfoView being collapsed when using the "Toggle Updating" command (#427)

v0.0.137

• 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)

v0.0.136

• Add support for lakefile.toml (added in leanprover/lean4#3298) (#420)
• Replace stale dependency notifications with a simple "Restart File" button in the InfoView (#419)

v0.0.135

• Update all dependencies of the extension (#414)
• Remove _ from surrounding brackets (#415) (Author: @digama0)
• Remove auto-closing unicode brackets again (#417)
• Add abbreviation hover for auto-closing unicode brackets (#418)

v0.0.134

• Fix a bug introduced by #407 that would result in the "Create project" dialogs not working anymore

v0.0.133

• Add notifications for stale dependency warnings in preparation for leanprover/lean4#3247 (#393)