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)

v0.0.216

• Distinguish message tally in InfoView by severity (#673)
• Change \n abbreviation to expand as \n, \! to expand as ¬ and \r! to expand as ¡ (#671)
• Add abbreviations \rw for ▸ and \coe for ↑
• Add context-menu actions for searching traces in the InfoView (#675)
• Fix a bug where attempting to re-install Elan while running a Lean language server on Windows would produce an error (#678)
• Fix a bug where the InfoView would sometimes display intermittent 'content modified' errors (#679, author: @brandondong)
• Fix a bug where right clicking would override the selected text in the InfoView (#653)
• Fix a bug where some commands would produce a "no active Lean tab" error when starting VS Code (#674)
• Add a confirmation dialog when using "Rename symbol" and it renames identifiers in 2 or more files (#673)

v0.0.215

• Fix a bug where the InfoView would sometimes display stale messages (#668)
• Add \ma shortcut for \mapsto (#667, author: @vasnesterov)