Mathlib Changelog
v4
Changelog
About
Github
Def
Lean.Elab.Command.elabPrintPrefix
Modification history
2023-10-29 21:47
Mathlib/Tactic/PrintPrefix.lean
chore: bump std (#8008) …
Deleted
Lean.Elab.Command.elabPrintPrefix
View on Github →
2022-10-20 15:23
Mathlib/Tactic/PrintPrefix.lean
chore: update lean + std4 10-20 (#483)
Modified
Lean.Elab.Command.elabPrintPrefix
View on Github →
2021-05-10 14:00
Mathlib/Tactic/PrintPrefix.lean
feat(Tactic/PrintPrefix): better error messages
Added
Lean.Elab.Command.elabPrintPrefix
View on Github →