v0.0.111

github-actions released this 08 Sep 13:05

· 488 commits to master since this release

ec47349

Make leanprover/lean4:stable the default for bootstrapping Lean 4 now that the first stable version is released
Fix bugs in wordPattern of language-configuration.json (Author: @DenisGorbachev)

Contributors

DenisGorbachev

Assets 3