v0.0.176

• Add presets for 'Download Project' command (#507)
• Add command to fetch cache of focused file (#509)

v0.0.175

• Improve InfoView performance (#500)

v0.0.174

• Another attempt at getting README images to work on the VS Code marketplace (#503)

v0.0.173

• Attempt fixing broken marketplace links (#502)

v0.0.172

• Updates the README so that it can be displayed in the marketplace (#501)

v0.0.171

• Fix several issues where the extension would not inform the language server about certain documents (#491)
• Fix a command handler leak affecting the abbreviation mechanism (#492)

v0.0.170

• Fix a bug that would sometimes crash the extension on activation (vscode-lean4#488)
• Ensure that the "Internal error" popup at the start is not excessively large (vscode-lean4#488)

v0.0.169

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

• 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

• Change the shortcut to launch the LoogleView to Ctrl+K Ctrl+S (#472)