Releases: leanprover/vscode-lean4
Releases · leanprover/vscode-lean4
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 of1em
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
v0.0.194
v0.0.193
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.