data/menhir-20200624/coq-menhirlib/LICENSE:5: bellow ==> below
data/menhir-20200624/coq-menhirlib/src/Alphabet.v:19: equiped ==> equipped
data/menhir-20200624/coq-menhirlib/src/Automaton.v:113: acually ==> actually
data/menhir-20200624/coq-menhirlib/src/Grammar.v:138: assotiated ==> associated
data/menhir-20200624/coq-menhirlib/src/Interpreter.v:275: perfomed ==> performed
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:130: compleness ==> completeness
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:194: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:215: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:216: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:242: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:243: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:298: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:299: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:419: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:420: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:433: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:435: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:437: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:439: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:439: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:475: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:476: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:478: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:481: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:489: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:490: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:492: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:495: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:496: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:497: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:605: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:608: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:609: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:656: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:657: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:658: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:660: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:661: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:664: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:671: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:690: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:691: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:692: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:694: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:695: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:698: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:703: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:705: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:705: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:706: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:733: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:734: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:769: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:770: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:771: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:772: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:775: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:781: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:782: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:783: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:784: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:787: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:787: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:788: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Interpreter_complete.v:789: ptd ==> pdf
data/menhir-20200624/coq-menhirlib/src/Validator_complete.v:142: explicitely ==> explicitly
data/menhir-20200624/coq-menhirlib/src/Validator_complete.v:159: explicitelly ==> explicitly
data/menhir-20200624/coq-menhirlib/src/Validator_safe.v:100: theses ==> these, thesis
data/menhir-20200624/doc/manual.html:2806: reasonnable ==> reasonable
data/menhir-20200624/doc/manual.tex:1368: exemple ==> example
data/menhir-20200624/doc/manual.tex:3898: fonction ==> function
data/menhir-20200624/doc/manual.tex:3914: reasonnable ==> reasonable
data/menhir-20200624/doc/manual.tex:3967: certificat ==> certificate
data/menhir-20200624/doc/manual.tex:3971: sais ==> says
data/menhir-20200624/doc/manual.tex:3971: certificat ==> certificate
data/menhir-20200624/doc/manual.tex:3982: controle ==> control, controlled, controller
data/menhir-20200624/doc/sigplanconf.cls:7: supercedes ==> supersedes
data/menhir-20200624/src/IL.ml:245: MApp ==> map
data/menhir-20200624/src/SelectiveExpansion.ml:35: instantation ==> instantiation
data/menhir-20200624/src/astar.ml:14: Hart ==> Heart, harm
data/menhir-20200624/src/codeBits.ml:311: mapp ==> map
data/menhir-20200624/src/codeBits.ml:312: MApp ==> map
data/menhir-20200624/src/codeBits.ml:314: mapp ==> map
data/menhir-20200624/src/codeBits.ml:315: mapp ==> map
data/menhir-20200624/src/codeBits.mli:127: mapp ==> map
data/menhir-20200624/src/codeInliner.ml:312: MApp ==> map
data/menhir-20200624/src/codeInliner.ml:313: MApp ==> map
data/menhir-20200624/src/lexer.mll:124: simplies ==> implies, simplifies
data/menhir-20200624/src/lexer.mll:572: O'Caml ==> ocaml
data/menhir-20200624/src/lexer.mll:573: O'Caml ==> ocaml
data/menhir-20200624/src/lexer.mll:593: O'Caml ==> ocaml
data/menhir-20200624/src/lexer.mll:721: O'Caml ==> ocaml
data/menhir-20200624/src/lexer.mll:745: O'Caml ==> ocaml
data/menhir-20200624/src/lexer.mll:764: O'Caml ==> ocaml
data/menhir-20200624/src/lr0.ml:279: conjuction ==> conjunction
data/menhir-20200624/src/lr1.ml:864: preferrable ==> preferable
data/menhir-20200624/src/lr1.mli:185: functios ==> functions
data/menhir-20200624/src/parserAux.mli:40: precendence ==> precedence
data/menhir-20200624/src/pprint.ml:908: nd ==> and, 2nd
data/menhir-20200624/src/printer.ml:710: MApp ==> map
data/menhir-20200624/src/tableBackend.ml:1034: MApp ==> map
data/menhir-20200624/src/tableBackend.ml:1036: MApp ==> map
data/menhir-20200624/src/tableBackend.ml:1057: mapp ==> map
data/menhir-20200624/src/tableBackend.ml:1069: MApp ==> map
data/menhir-20200624/debian/changelog:98: contraint ==> constraint
data/menhir-20200624/debian/changelog:274: relese ==> release
data/menhir-20200624/debian/changelog:432: Correcly ==> Correctly