Def Mathlib.Linter.TextBased.trailingWhitespaceLinter

Modification history

2026-10-13 18:30
Mathlib/Tactic/Linter/TextBased.lean
chore(Tactic/Linter/TextBased): remove the trailing whitespace linter (#44733) …
Deleted Mathlib.Linter.TextBased.trailingWhitespaceLinterView on Github →
2025-05-19 09:39
Mathlib/Tactic/Linter/TextBased.lean
feat(scripts/lint-style): select linters with Lakefile options (#24953) …
Modified Mathlib.Linter.TextBased.trailingWhitespaceLinterView on Github →
2024-11-22 01:48
Mathlib/Tactic/Linter/TextBased.lean
feat: rewrite the trailing whitespace linter in Lean (#16334)
Added Mathlib.Linter.TextBased.trailingWhitespaceLinterView on Github →