1.8.0

fix bug of "multiple leading block comment in doc comment"

Full Changelog: 1.7.0...1.8.0

1.7.0

What's Changed

• handle leading block comment in doc comment by @Seasawher in #64

Full Changelog: 1.6.0...1.7.0

1.6.0

What's Changed

• count characters in Lean files by @Seasawher in #63

Full Changelog: 1.5.0...1.6.0

lean/v4.15.0-rc1

What's Changed

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

Full Changelog: lean/v4.14.0-rc2...lean/v4.15.0-rc1

lean/v4.14.0-rc2

What's Changed

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

Full Changelog: lean/v4.13.0-rc4...lean/v4.14.0-rc2

lean/v4.13.0-rc4

What's Changed

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

Full Changelog: 1.5.0...lean/v4.13.0-rc4

1.5.0

What's Changed

• auto create internal links by @Seasawher in #55

Full Changelog: lean/v4.13.0-rc3...1.5.0

lean/v4.13.0-rc3

Full Changelog: 1.4.1...lean/v4.13.0-rc3

1.4.1

fix command name ae23b2b

Full Changelog: 1.4.0...1.4.1

1.4.0

What's Changed

• use Cli tool for Lean by @Seasawher in #53

Full Changelog: v1.3.2...1.4.0