chapter7

Merge pull request #33 from sinianluoye/chapter7

chapter7

v0.0.10

What's Changed

• Issue/28 Translation about chapter 6 by @sinianluoye in #30

Full Changelog: v0.0.9...v0.0.10

v0.0.9

What's Changed

• Translation of Chapter 5 by @sinianluoye in #26
• fix the release-tag workflow by @sinianluoye in #27

Full Changelog: v0.0.8...v0.0.9

v0.0.8

What's Changed

• 添加zhOptionDoc, 修复部分未翻译的问题 by @sinianluoye in #24

Full Changelog: v0.0.7...v0.0.8

v0.0.7

What's Changed

• merge official update by @sinianluoye in #21
• finish issue 14 by @sinianluoye in #22
• fix build error by @sinianluoye in #23

Full Changelog: v0.0.6...v0.0.7

v0.0.6

What's Changed

• Issue/14 by @sinianluoye in #18
• fix deploy error by @sinianluoye in #20

Full Changelog: v0.0.5...v0.0.6

v0.0.5

What's Changed

• 翻译了Manual/Language/Functions.lean by @sinianluoye in #17

Full Changelog: v0.0.4...v0.0.5

v0.0.4

What's Changed

• update readme and template by @sinianluoye in #13
• 1.add translation of chapter4 Types.lean, 2.add zhdocstring 3.update … by @sinianluoye in #15
• 1. 为Types.lean 添加tag避免页面报错 2.让zhdocstring支持対属性和构造子的翻译文档 by @sinianluoye in #16

Full Changelog: v0.0.3...v0.0.4

v0.0.3

What's Changed

• translation about chapter 2 by @sinianluoye in #9
• fix bug cause can not found .olean file by @sinianluoye in #10
• fix no auxiliary matching function issue by @sinianluoye in #11

Full Changelog: v0.0.2...v0.0.3

v0.0.2

What's Changed

• fix workflow bugs by @sinianluoye in #5

Full Changelog: v0.0.1...v0.0.2

What's Changed

• fix workflow bugs by @sinianluoye in #5
• fix get empty version when build by @sinianluoye in #6

Full Changelog: v0.0.1...v0.0.2