v0.0.112
·
481 commits
to master
since this release
- Add extension support for avoiding automatic rebuilds of dependencies when files are opened (leanprover/lean4#2665 & leanprover/lean4#2154 (comment))