v0.0.198-pre

• Add abbreviation \xs for ×ˢ, denoting the product set (#588, author: @jhanschoo)
• Expose client-sided LSP tracing in the extensions settings (#589)

v0.0.197-pre

• Adjust padding of 'unsolved goal' marker to 1ch instead of 1em so that it feels like it is placed consistent at the end of the text (#587)

v0.0.196-pre

• Add editor decorations for errors, warnings, 'goals accomplished' and 'unsolved goals' (#585)

v0.0.195

• Add simplex abbreviations (#579, author: @gio256)
• Fix unicode input component to allow use of Tab for accessibility (#572, author: @jakobvase)
• Re-add newlines between trace lines (#582)

v0.0.194

• Adjust the setup guide and the Elan installation prompt to not suggest that installing Elan also installs Lean (#577)

v0.0.193

• Fix a confusing prompt when installing Elan (#576)

v0.0.192

• Add support for Elan 4.0.0 (#554)
• Support importing widget modules by hash (#557, author: @Vtec234)
• Add select and unselect InfoView context menu actions (#451, author: @Vtec234)
• Fix bug where project paths with certain characters that are also used in globs wouldn't work (#566)
• Fix bug where curly braces in globs weren't being escaped correctly (#569)

v0.0.191-pre

• Fix bug where curly braces in globs weren't being escaped correctly (#569)

0.0.190 was a botched release. and identical to 0.0.189.

v0.0.189-pre

• Add select and unselect InfoView context menu actions (#451)
• Fix bug where project paths with certain characters that are also used in globs wouldn't work (#566)

0.0.188 was a dud due to an expired PAT.

v0.0.187-pre

• Add support for Elan 4.0.0 (#554)
• Support importing widget modules by hash (#557, author: @Vtec234)