Commit 2021-11-28 10:22 9a944b6f

View on Github →

chore: bump to nightly-2021-11-28 (#108)

Estimated changes

Modified Mathlib/Init/Logic.lean

Modified Mathlib/Tactic/Lint/Frontend.lean

deleted def Mathlib.Tactic.Lint.findDeclarationRanges?

modified def Mathlib.Tactic.Lint.printWarnings

modified def Mathlib.Tactic.Lint.sortResults

Modified lean-toolchain