search

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
169 stars 48 forks source link

fix: special update handling for elan 3.1.0 #448

Closed mhuisi closed 6 months ago

mhuisi commented 6 months ago

Since elan self update was broken in Elan 3.1.0, we can't actually update elan that way. Instead, we now re-run the installation script for this version.

Also removes the elan self update call when attempting to create a project.