Skip to content

Releases: leanprover/vscode-lean4

v0.0.198-pre

11 Mar 10:17
Compare
Choose a tag to compare
v0.0.198-pre Pre-release
Pre-release
  • 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

08 Mar 11:33
Compare
Choose a tag to compare
v0.0.197-pre Pre-release
Pre-release
  • 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

07 Mar 14:51
Compare
Choose a tag to compare
v0.0.196-pre Pre-release
Pre-release
  • Add editor decorations for errors, warnings, 'goals accomplished' and 'unsolved goals' (#585)

v0.0.195

25 Feb 15:43
Compare
Choose a tag to compare
  • 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

30 Jan 15:25
Compare
Choose a tag to compare
  • Adjust the setup guide and the Elan installation prompt to not suggest that installing Elan also installs Lean (#577)

v0.0.193

30 Jan 15:01
Compare
Choose a tag to compare
  • Fix a confusing prompt when installing Elan (#576)

v0.0.192

30 Jan 13:20
Compare
Choose a tag to compare
  • 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

13 Jan 16:38
Compare
Choose a tag to compare
v0.0.191-pre Pre-release
Pre-release
  • 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

13 Jan 13:42
Compare
Choose a tag to compare
v0.0.189-pre Pre-release
Pre-release
  • 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

08 Jan 13:52
Compare
Choose a tag to compare
v0.0.187-pre Pre-release
Pre-release
  • Add support for Elan 4.0.0 (#554)
  • Support importing widget modules by hash (#557, author: @Vtec234)