vscode-lean 0.16.60

This release is identical to 0.16.60. It just updates the extension display name and README to reflect that this extension is deprecated.

Since I couldn't get this extension to build anymore in order to release it regularly, this release was created by patching the 0.16.59 .vsix.

vscode-lean 0.16.59

This release is identical to 0.16.58. It just updates the README on the VS Code marketplace to reflect that this extension is for Lean 3.

Since I couldn't get this extension to build anymore in order to release it regularly, this release was created by patching the 0.16.58 .vsix with the new version and the new README.md.

vscode-lean 0.16.58

v0.16.58

vscode-lean 0.16.58

vscode-lean 0.16.57

v0.16.57

vscode-lean 0.16.57

vscode-lean 0.16.56

v0.16.56

vscode-lean 0.16.56

vscode-lean 0.16.55

v0.16.55

vscode-lean 0.16.55

vscode-lean 0.16.54

v0.16.54

vscode-lean 0.16.54

vscode-lean 0.16.53

v0.16.53

vscode-lean 0.16.53

vscode-lean 0.16.52

v0.16.52

vscode-lean 0.16.52

vscode-lean 0.16.51

v0.16.51

vscode-lean 0.16.51