Def Mathlib.Linter.TextBased.modulesForbiddenWindows

Modification history

2025-09-15 10:13
Mathlib/Tactic/Linter/TextBased.lean
feat: verify that file names contain no forbidden characters (#27965) …
Deleted Mathlib.Linter.TextBased.modulesForbiddenWindowsView on Github →
2025-07-29 02:51
Mathlib/Tactic/Linter/TextBased.lean
feat(Linter/TextBased): linter against Windows-forbidden filenames (#27588) …
Added Mathlib.Linter.TextBased.modulesForbiddenWindowsView on Github →