Skip to content

v0.0.136
Compare
Choose a tag to compare
@github-actions github-actions released this 27 Mar 16:51
· 187 commits to master since this release
v0.0.136
4979a7f
  • Add support for lakefile.toml (added in leanprover/lean4#3298) (#420)
  • Replace stale dependency notifications with a simple "Restart File" button in the InfoView (#419)
Assets 3
Loading