Skip to content

v0.5.0

Pre-release
Pre-release

Choose a tag to compare

View all tags
@Seasawher Seasawher released this 03 Apr 15:05
· 248 commits to main since this release
v0.5.0
7cc53ae
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • pretty print of build output by @Seasawher in #122
  • possible bug: if new toolchain exists but mathlib uses old toolchain...? by @Seasawher in #130

Full Changelog: v0.4.0...v0.5.0

Contributors

Seasawher
Assets 2
Loading