Skip to content

v0.0.145-pre

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 May 08:30
· 361 commits to master since this release
v0.0.145-pre
a52a863
  • Better setup diagnostics (#436):
    • Warnings and errors for issues with the user's Lean 4 setup (warnings can be disabled with the lean4.showSetupWarnings option)
    • 'Troubleshooting: Show Setup Information' command to dump information about the user's Lean 4 setup
    • Removal of the following config options: lean4.toolchainPath, lean4.lakePath, lean4.enableLake, lean4.serverEnv, lean4.serverEnvPaths
    • New config option lean4.envPathExtensions to replace these settings
    • Removal of pre-lake serve compatibility
Assets 3
Loading