Skip to content

nightly-2019-07-26

Pre-release
Pre-release
Compare
Choose a tag to compare
@leanprover-mathlib-bot leanprover-mathlib-bot released this 26 Jul 19:38
· 2 commits to master since this release
nightly-2019-07-26
014fd37
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Changes since nightly-2019-07-15:

Full commit log

  • 014fd37 fix(vm/vm_environment): remove debug code
Assets 6
Loading