feat: vs code and vs code extension version diagnostics

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

158 stars 48 forks source link

Closed mhuisi closed 3 months ago

mhuisi commented 3 months ago

This helps us debug old VS Code extension versions and warns users if their VS Code version will not clear an extension VS Code version requirement.