v0.0.202

• Improve the performance of editor decorations (#604)
• Add better errors for nested projects (#607)
• Add a URI handler for the setup guide (#596, author: @algebraic-dev)
• Rename \8< abbreviation to \scissor (#599, author: @euprunin)

v0.0.201

• Add editor decorations for errors, warnings, 'goals accomplished' and 'unsolved goals' (#585, #587, #593, #595)
• Add abbreviation \xs for ×ˢ, denoting the product set (#588, author: @jhanschoo)
• Add \tiny and \miny Unicode inputs (#591, author: @vihdzp)
• Expose client-sided LSP tracing in the extensions settings (#589)

v0.0.200-pre

• Allow theme colors in the color settings for the 'unsolved goals' decoration and change the default color of the 'unsolved goals' decoration to editorInfo.foreground (#595)

v0.0.199-pre

• Add \tiny and \miny Unicode inputs (#591, author: @vihdzp)
• Adjust decoration edit delay and make it configurable (#593)

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)