Commit 2022-07-01 07:50 e1031991

View on Github →

chore: bump to nightly-2022-06-30 (#295)

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Data/UInt.lean

Modified Mathlib/Init/ExtendedBinder.lean

Modified Mathlib/Init/Set.lean

Modified Mathlib/Mathport/Syntax.lean

Modified Mathlib/Tactic/Basic.lean

Modified Mathlib/Tactic/Cases.lean

Modified Mathlib/Tactic/Ext.lean

Modified Mathlib/Tactic/IrreducibleDef.lean

Modified Mathlib/Tactic/Lint/Frontend.lean

Modified Mathlib/Tactic/NoMatch.lean

Modified Mathlib/Tactic/NormCast/Ext.lean

Modified Mathlib/Tactic/NormCast/Lemmas.lean

Modified Mathlib/Tactic/NormCast/Tactic.lean

Modified Mathlib/Tactic/PermuteGoals.lean

Modified Mathlib/Tactic/RCases.lean

Modified Mathlib/Tactic/RunCmd.lean

Modified Mathlib/Tactic/RunTac.lean

Modified Mathlib/Tactic/Sat/FromLRAT.lean

Modified Mathlib/Tactic/SimpRw.lean

Modified Mathlib/Tactic/Spread.lean

Modified Mathlib/Tactic/SudoSetOption.lean

Modified Mathlib/Tactic/ToAdditive.lean

Modified Mathlib/Tactic/TryThis.lean

modified def Tactic.TryThis.delabToRefinableSyntax

Modified Mathlib/Util/DeclName.lean

Deleted Mathlib/Util/Eval.lean

Modified Mathlib/Util/IncludeStr.lean

Modified Mathlib/Util/LibraryNote.lean

Created Mathlib/Util/Syntax.lean

added def Lean.Syntax.TSepArray.ofElems

added def Lean.TSyntax.replaceM

Modified lean-toolchain

Modified scripts/nolints.json

Modified test/notation3.lean

Modified test/rcases.lean