Skip to content

v0.0.119

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Nov 16:59
· 454 commits to master since this release
v0.0.119
8d0cc34
  • When using the "Update Dependency" command, update the lean-toolchain after running lake update. Since Mathlib may now update the lean-toolchain by itself during lake update, this order is causing fewer problems.
  • Add compatibility for new Lake manifest version so that "Update Dependency" works with v4.3.0-rc2.
  • Rename "Install Lean using Elan" button to just "Install Lean" to reduce confusion about Elan
  • Fix bug where Lean language client wouldn't start if the project folder was detected as invalid
Assets 3
Loading