Mathlib Changelog
v4
Changelog
About
Github
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