The rule is broken by prose that explains why this book does something
differently, even when it never names the source. No grep finds this class: a
scan for markers ("ao pé da letra", "se traduz", "mantemos", "no original")
returned only legitimate uses of "tradução". Someone has to read the prose.
Two instances were found and fixed this way in Logic/PL.lean, so the class
is real. The criterion for judging what turns up is in DEVIATIONS.md.
Related mechanical check, to re-run after each migration:
página \d+, \(p\. \d+, §\s*\d, exemplo \(\d+\.\d+\),
Exercício \d+\.\d+, Seção \d+\.\d+. Note that
Morphology/FinnishVowelHarmony.lean's [For07, p. 13] is a legitimate
bibliographic citation the sweep will keep flagging.
The rule is broken by prose that explains why this book does something
differently, even when it never names the source. No grep finds this class: a
scan for markers ("ao pé da letra", "se traduz", "mantemos", "no original")
returned only legitimate uses of "tradução". Someone has to read the prose.
Two instances were found and fixed this way in
Logic/PL.lean, so the classis real. The criterion for judging what turns up is in
DEVIATIONS.md.Related mechanical check, to re-run after each migration:
página \d+,\(p\. \d+,§\s*\d,exemplo \(\d+\.\d+\),Exercício \d+\.\d+,Seção \d+\.\d+. Note thatMorphology/FinnishVowelHarmony.lean's[For07, p. 13]is a legitimatebibliographic citation the sweep will keep flagging.