v0.0.226

• Fix bug where the use of the lean language ID (instead of lean4) would cause the extension to not properly launch a language server for that file (#738)
• Add support for relative paths in lean4.envPathExtensions setting that are resolved relative to the set of workspace folders (#739)
• Reduce likelihood of RPC references clashing with real field names (#719, author: @Vtec234)
• Fix a bug in the LoogleView where entering < would break the input (#735)

v0.0.225

• Add a "Copy Module Name" command to the context menu for Lean editor tabs (#717)
• Fix several bugs related to syntax highlighting markdown in comments (#711)
• Fix a bug in the InfoView where it constantly unnecessarily displayed a scroll bar (#721, author: @quartztz)
• Fix a bug in the unicode input web component (used in the LoogleView) where inputting \to\to would only expand one of the abbreviations (#718)
• Change the "Proceed" labels of some dialogs to "Proceed Regardless" to reduce confusion (#715)
• Remove two buggy alternative abbreviations: \c[ for ⦃ (default: \{{) and \c] for ⦄ (default: \}}) (#710)
• Fix bug where abbreviations including backticks were not displayed correctly in hover tooltips (#709)

(Release created manually due to an issue with CI)

v0.0.224

• Adds support for Elan 4.2.0 (#707)

v0.0.223

• Add support for nested Lean projects (#699)
• Support cancellation of RPC requests (#700, author: @Vtec234)
• Remove backtick name TextMate highlighting to fix false-positives (#692)
• Ensure that editor is focused after edit (e.g. in a hint) (#702)
• Change \<n abbreviation to \notlt (#685, author: @kckennylau)

v0.0.222-pre

• Add support for nested Lean projects (#699)
• Remove backtick name TextMate highlighting to fix false-positives (#692)
• Change \<n abbreviation to \notlt (#685, author: @kckennylau)

v0.0.221

• Make the Windows installation script more robust (#689)
• Add a setup diagnostic for unsupported OS versions (#683, #691)

v0.0.220

• Fix a bug where character escapes weren't highlighted correctly and '\"' could lead to the whole file being highlighted as a string (#688)

v0.0.219

• Fix a bug in combination with the current core master where server logging was accidentally enabled by default (#687)

v0.0.218

• Fix a bug where opening the 'All Messages' section in the InfoView would cause the client to spam messages to the language server (#686)
• Update the TextMate grammar with new keywords and fix some highlighting bugs (#682)
• Add client-side support for revamped server logging (#681)

v0.0.217-pre

• Update the TextMate grammar with new keywords and fix some highlighting bugs (#682)