Releases: fgdorais/lean4-unicode-basic
Releases · fgdorais/lean4-unicode-basic
v2.0.1
Compare
Sorry, something went wrong.
No results found
What's Changed
chore: update toolchain v4.31.0
Full Changelog : v2.0.0...v2.0.1
v2.0.0
Compare
Sorry, something went wrong.
No results found
chore: update toolchain v4.30.0
v1.3.2
Compare
Sorry, something went wrong.
No results found
What's Changed
fix: include path for UnicodeCLib in lakefile
chore: update toolchain to v4.29.0
New Contributors
Full Changelog : v1.3.1...v1.3.2
v1.3.1
Compare
Sorry, something went wrong.
No results found
What's Changed
chore: update toolchain to v4.28.0
Full Changelog : v1.3.0...v1.3.1
v1.3.0
Compare
Sorry, something went wrong.
No results found
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
Compare
Sorry, something went wrong.
No results found
What's Changed
fix: build failure on win32
Full Changelog : v1.2.3...v1.2.4
v1.2.3
Compare
Sorry, something went wrong.
No results found
What's Changed
chore: update toolchain v4.24.0
Full Changelog : v1.2.2...v1.2.3
v1.2.2
Compare
Sorry, something went wrong.
No results found
chore: update to Unicode v17.0.0
v1.2.1
Compare
Sorry, something went wrong.
No results found
What's Changed
chore: update toolchain v4.23.0
Full Changelog : v1.2.0...v1.2.1
v1.2.0
Compare
Sorry, something went wrong.
No results found
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