1.11.0

What's Changed

• add caption to code block by @Seasawher in #73

Full Changelog: 1.10.0...1.11.0

1.10.0

fix indent breaking issue for "converting doc to block comment syntax"

Full Changelog: 1.9.0...1.10.0

1.9.0

What's Changed

• convert doc comment to block comment by @Seasawher in #69

Full Changelog: 1.8.0...1.9.0

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