Skip to content

Releases: leanprover/vscode-lean4

v0.0.169

26 Jun 07:54
Compare
Choose a tag to compare

Publishing to OpenVSX was down for the last week, so CI did not produce GitHub releases for the versions 0.0.165 - 0.0.168.

0.0.169

  • Add VS Code and VS Code extension version to the set of setup diagnostics (#485)

0.0.168

  • Fix an activation race condition (#482)
  • Set the X-Loogle-Client header for Loogle queries (#481)

0.0.167

  • Resolve a couple of new abbreviation regressions (#480)

0.0.166

  • Fix a bug that would sometimes cause the extension to not activate properly (#476)
  • Set the User-Agent header for Loogle queries (#477)

0.0.165

  • Export the useRpcSession from the InfoView (#474)

v0.0.164

19 Jun 14:11
Compare
Choose a tag to compare
  • Rework documentation view to use VS Code's Simple Browser instead of a custom webview (#473)
  • Auto-publish infoview and infoview-api packages when releasing (#458, author @joneugster)

v0.0.163

18 Jun 12:43
Compare
Choose a tag to compare
  • Change the shortcut to launch the LoogleView to Ctrl+K Ctrl+S (#472)

v0.0.162

18 Jun 10:42
Compare
Choose a tag to compare
  • Fix a bug that would cause the LoogleView to not activate correctly (#471)

v0.0.161

18 Jun 09:40
Compare
Choose a tag to compare

v0.0.160

13 Jun 08:48
Compare
Choose a tag to compare
  • Add support for new Lake manifest version format (#467)

v0.0.159

06 Jun 08:48
Compare
Choose a tag to compare
  • Fix a bug where the VS Code extension would send didClose notifications for documents that it never issued didOpen for (#465)
  • Fix a bug where the VS Code extension would tell the language server to start re-building dependencies after opening the file (#466)

v0.0.158-pre

05 Jun 14:19
Compare
Choose a tag to compare
v0.0.158-pre Pre-release
Pre-release
  • Attempt fixing a bug where the VS Code extension would send didClose notifications for documents that it never issued didOpen for (#465)

v0.0.157

05 Jun 07:49
Compare
Choose a tag to compare
  • Revert support for widget messages due to #461.

v0.0.156

04 Jun 13:01
Compare
Choose a tag to compare
  • Add support for widget messages (#449, author: @Vtec234)
  • Fix outline being broken right after opening a document (#460)