This repository was archived by the owner on Oct 14, 2023. It is now read-only.
Patch release
Features
leanpkg: Allow specifying a branch to use forleanpkg upgrade(#1981)
Changes
-
Fix the definition of
list.lt -
Make
leanpkgwork when installed in a path containing spaces -
io: Encode/decode UTF-8 for text-mode streams -
Remove
coinductivepredicates andtransfer. To be moved to mathlib instead. -
Windows: Ignore file changes that only changed line endings