Skip to content

Releases: fgdorais/lean4-unicode-basic

v1.3.1

16 Feb 13:52
ff04f5c

Choose a tag to compare

What's Changed

  • chore: update toolchain to v4.28.0

Full Changelog: v1.3.0...v1.3.1

v1.3.0

23 Jan 13:09

Choose a tag to compare

What's Changed

  • fix: use String.Slice
  • feat: add Default_Ignorable_Code_Point
  • feat: add Noncharacter_Code_Point
  • feat: add UnicodeData.Aliases
  • chore: chore: update toolchain v4.27.0

Full Changelog: v1.2.4...v1.3.0

v1.2.4

14 Nov 10:17

Choose a tag to compare

What's Changed

  • fix: build failure on win32

Full Changelog: v1.2.3...v1.2.4

v1.2.3

15 Oct 04:14

Choose a tag to compare

What's Changed

  • chore: update toolchain v4.24.0

Full Changelog: v1.2.2...v1.2.3

v1.2.2

19 Sep 22:32

Choose a tag to compare

chore: update to Unicode v17.0.0

v1.2.1

14 Sep 16:36

Choose a tag to compare

What's Changed

  • chore: update toolchain v4.23.0

Full Changelog: v1.2.0...v1.2.1

v1.2.0

14 Aug 03:59

Choose a tag to compare

What's Changed

  • feat: new encoding for general categories (GC) by @fgdorais in #74
  • chore: move UnicodeData structure by @fgdorais in #75
  • fix: make Cn highest GC bit by @fgdorais in #76
  • feat: add UnicodeCLib by @fgdorais in #77
  • chore: update toolchain v4.22.0

Full Changelog: v1.1.8...v1.2.0

v1.1.8

30 Jun 02:30

Choose a tag to compare

What's Changed

  • chore: update toolchain v4.21.0

Full Changelog: v1.1.7...v1.1.8

v1.1.7

04 Jun 19:55

Choose a tag to compare

What's Changed

  • chore: update toolchain v4.20.1

Full Changelog: v1.1.6...v1.1.7

v1.1.6

02 May 21:35

Choose a tag to compare

What's Changed

  • chore: update toolchain v4.19.0

Full Changelog: v1.1.5...v1.1.6