2.2.0

What's Changed

• replace selected range by @Seasawher in #46

Full Changelog: 2.1.1...2.2.0

2.1.1

Full Changelog: 2.1.0...2.1.1

What's Changed

• fix command name by @Seasawher in #42

Full Changelog: 2.1.0...2.1.1

2.1.0

What's Changed

• use lean4-cli by @Seasawher in #40

Full Changelog: lean/v4.12.0-rc1...2.1.0

lean/v4.12.0-rc1

What's Changed

• Updates available and ready to merge. by @github-actions in #39

Full Changelog: lean/v4.11.0...lean/v4.12.0-rc1

lean/v4.11.0-rc3

What's Changed

• add performance test by @Seasawher in #34

Full Changelog: lean/v4.11.0-rc2...lean/v4.11.0-rc3

lean/v4.11.0

Full Changelog: lean/v4.11.0-rc3...lean/v4.11.0

lean/v4.11.0-rc2

What's Changed

• Bump leanprover/lean-action from 1.0.0 to 1.0.1 by @dependabot in #32
• Updates available and ready to merge. by @github-actions in #33

Full Changelog: 2.0.0...lean/v4.11.0-rc2

2.0.0

What's Changed

• use oliver-butterley/lean-update@v1-alpha by @Seasawher in #22
• change / add ignore pattern by @Seasawher in #31

New Contributors

• @dependabot made their first contribution in #10
• @github-actions made their first contribution in #23

Full Changelog: v1.1.0...2.0.0

lean/v4.10.0

Full Changelog: lean/v4.10.0-rc1...lean/v4.10.0

lean/v4.10.0-rc1

What's Changed

• use oliver-butterley/lean-update@v1-alpha by @Seasawher in #22
• Lean のバージョン更新

New Contributors

• @github-actions made their first contribution in #23

Full Changelog: lean/v4.9.0-rc1...lean/v4.10.0-rc1