data/why3-1.3.3/CHANGES.md:582: Langage ==> Language
data/why3-1.3.3/Makefile.in:2168: intented ==> intended, indented
data/why3-1.3.3/bench/bench:350: splitted ==> split
data/why3-1.3.3/bench/ce-bench:124: informations ==> information
data/why3-1.3.3/bench/programs/bad-typing/polyrec1.mlw:10: polymorpic ==> polymorphic
data/why3-1.3.3/bench/programs/bad-typing/polyrec2.mlw:11: polymorpic ==> polymorphic
data/why3-1.3.3/bench/valid/split_vc/mccarthy.mlw:61: bloc ==> block
data/why3-1.3.3/bench/valid/split_vc/mccarthy.mlw:81: bloc ==> block
data/why3-1.3.3/bench/valid/split_vc/mccarthy.mlw:82: bloc ==> block
data/why3-1.3.3/bench/valid/split_vc/mccarthy.mlw:258: bloc ==> block
data/why3-1.3.3/bench/valid/split_vc/mccarthy.mlw:278: bloc ==> block
data/why3-1.3.3/bench/valid/split_vc/mccarthy.mlw:279: bloc ==> block
data/why3-1.3.3/doc/manpages.rst:50: informations ==> information
data/why3-1.3.3/doc/manpages.rst:451: soruce ==> source, spruce
data/why3-1.3.3/doc/manpages.rst:680: comming ==> coming
data/why3-1.3.3/doc/manpages.rst:1016: informations ==> information
data/why3-1.3.3/doc/syntaxref.rst:1354: divsion ==> division
data/why3-1.3.3/doc/technical.rst:1: Informations ==> Information
data/why3-1.3.3/doc/technical.rst:379: occurence ==> occurrence
data/why3-1.3.3/doc/technical.rst:543: occurences ==> occurrences
data/why3-1.3.3/drivers/psyche.drv:3: FO ==> OF, FOR
data/why3-1.3.3/drivers/verit.drv:15: desactivated ==> deactivated
data/why3-1.3.3/examples/all_distinct.mlw:6: Normale ==> Normal
data/why3-1.3.3/examples/balance.mlw:91: knwo ==> know
data/why3-1.3.3/examples/dyck.mlw:4: Normale ==> Normal
data/why3-1.3.3/examples/fenwick.mlw:13: childs ==> children, child's
data/why3-1.3.3/examples/fenwick.mlw:78: dum ==> dumb
data/why3-1.3.3/examples/fenwick.mlw:89: childs ==> children, child's
data/why3-1.3.3/examples/fibonacci.mlw:333: funtion ==> function
data/why3-1.3.3/examples/finger_trees.mlw:26: nd ==> and, 2nd
data/why3-1.3.3/examples/finger_trees.mlw:26: nd ==> and, 2nd
data/why3-1.3.3/examples/finger_trees.mlw:31: nd ==> and, 2nd
data/why3-1.3.3/examples/finger_trees.mlw:32: nd ==> and, 2nd
data/why3-1.3.3/examples/finger_trees.mlw:32: nd ==> and, 2nd
data/why3-1.3.3/examples/finger_trees.mlw:33: nd ==> and, 2nd
data/why3-1.3.3/examples/finger_trees.mlw:37: nd ==> and, 2nd
data/why3-1.3.3/examples/finger_trees.mlw:37: nd ==> and, 2nd
data/why3-1.3.3/examples/inverse_in_place.mlw:13: Normale ==> Normal
data/why3-1.3.3/examples/linear_probing.mlw:5: Normale ==> Normal
data/why3-1.3.3/examples/mccarthy.mlw:73: bloc ==> block
data/why3-1.3.3/examples/mccarthy.mlw:93: bloc ==> block
data/why3-1.3.3/examples/mccarthy.mlw:94: bloc ==> block
data/why3-1.3.3/examples/mccarthy.mlw:269: bloc ==> block
data/why3-1.3.3/examples/mccarthy.mlw:289: bloc ==> block
data/why3-1.3.3/examples/mccarthy.mlw:290: bloc ==> block
data/why3-1.3.3/examples/mccarthy_vc_sp.mlw:55: bloc ==> block
data/why3-1.3.3/examples/mccarthy_vc_sp.mlw:75: bloc ==> block
data/why3-1.3.3/examples/mccarthy_vc_sp.mlw:76: bloc ==> block
data/why3-1.3.3/examples/mccarthy_vc_sp.mlw:126: bloc ==> block
data/why3-1.3.3/examples/mccarthy_vc_sp.mlw:146: bloc ==> block
data/why3-1.3.3/examples/mccarthy_vc_sp.mlw:147: bloc ==> block
data/why3-1.3.3/examples/patience.mlw:124: ans ==> and
data/why3-1.3.3/examples/register_allocation.mlw:4: Normale ==> Normal
data/why3-1.3.3/examples/schorr_waite_via_recursion.mlw:311: bloc ==> block
data/why3-1.3.3/examples/sudoku.mlw:89: occurence ==> occurrence
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:110: alorithm ==> algorithm
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:147: occuring ==> occurring
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:228: alogrithm ==> algorithm
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:325: bloc ==> block
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:383: bloc ==> block
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:390: bloc ==> block
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:393: bloc ==> block
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:403: bloc ==> block
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:442: bloc ==> block
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:446: bloc ==> block
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:499: bloc ==> block
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:504: bloc ==> block
data/why3-1.3.3/examples/verifythis_2016_tree_traversal.mlw:576: bloc ==> block
data/why3-1.3.3/examples/verifythis_2018_le_rouge_et_le_noir_1.mlw:4: rouge ==> rogue
data/why3-1.3.3/examples/verifythis_2018_le_rouge_et_le_noir_2.mlw:4: rouge ==> rogue
data/why3-1.3.3/examples/verifythis_PrefixSumRec.mlw:132: intial ==> initial
data/why3-1.3.3/examples/verifythis_fm2012_treedel.mlw:201: ot ==> to, of, or
data/why3-1.3.3/examples/verifythis_fm2012_treedel.mlw:207: ot ==> to, of, or
data/why3-1.3.3/examples/verifythis_fm2012_treedel.mlw:207: ot ==> to, of, or
data/why3-1.3.3/examples/verifythis_fm2012_treedel.mlw:210: ot ==> to, of, or
data/why3-1.3.3/examples/verifythis_fm2012_treedel.mlw:218: ot ==> to, of, or
data/why3-1.3.3/examples/verifythis_fm2012_treedel.mlw:248: ot ==> to, of, or
data/why3-1.3.3/examples/warshall_algorithm.mlw:7: Normale ==> Normal
data/why3-1.3.3/examples/WP_revisited/blocking_semantics5.mlw:4: langage ==> language
data/why3-1.3.3/examples/WP_revisited/blocking_semantics5.mlw:419: guaranted ==> guaranteed
data/why3-1.3.3/examples/WP_revisited/wp2.mlw:81: guaranted ==> guaranteed
data/why3-1.3.3/examples/avl/avl.mlw:467: mecanisms ==> mechanisms
data/why3-1.3.3/examples/avl/avl.mlw:472: spliting ==> splitting
data/why3-1.3.3/examples/avl/avl.mlw:529: informations ==> information
data/why3-1.3.3/examples/avl/key_type.mlw:2: equiped ==> equipped
data/why3-1.3.3/examples/avl/key_type.mlw:6: equiped ==> equipped
data/why3-1.3.3/examples/avl/priority_queue.mlw:215: occurences ==> occurrences
data/why3-1.3.3/examples/bts/17184.mlw:7: occurence ==> occurrence
data/why3-1.3.3/examples/double_wp/compiler.mlw:33: Aadd ==> Add
data/why3-1.3.3/examples/double_wp/imp.why:12: Aadd ==> Add
data/why3-1.3.3/examples/double_wp/imp.why:37: Aadd ==> Add
data/why3-1.3.3/examples/double_wp/imp.why:56: assignement ==> assignment
data/why3-1.3.3/examples/double_wp/imp.why:79: Determinstic ==> Deterministic
data/why3-1.3.3/examples/double_wp/logic.mlw:131: conjonction ==> conjunction
data/why3-1.3.3/examples/double_wp/specs.mlw:17: determinstic ==> deterministic
data/why3-1.3.3/examples/logic/explicit_subst.why:2: unconsistent ==> inconsistent
data/why3-1.3.3/examples/logic/explicit_subst.why:3: musn't ==> mustn't
data/why3-1.3.3/examples/multiprecision/Makefile:27: benchs ==> benches
data/why3-1.3.3/examples/multiprecision/Makefile:39: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/Makefile:62: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/Makefile:96: BENCHS ==> BENCHES
data/why3-1.3.3/examples/multiprecision/Makefile:99: BENCHS ==> BENCHES
data/why3-1.3.3/examples/multiprecision/Makefile:100: BENCHS ==> BENCHES
data/why3-1.3.3/examples/multiprecision/Makefile:101: BENCHS ==> BENCHES
data/why3-1.3.3/examples/multiprecision/Makefile:111: benchs ==> benches
data/why3-1.3.3/examples/multiprecision/add.mlw:68: oly ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:69: oly ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:225: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:236: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:236: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:237: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:260: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:265: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:265: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:266: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:299: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:310: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:310: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:311: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:336: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:341: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:341: ony ==> only
data/why3-1.3.3/examples/multiprecision/add.mlw:342: ony ==> only
data/why3-1.3.3/examples/multiprecision/lineardecision.mlw:537: te ==> the, be, we
data/why3-1.3.3/examples/multiprecision/lineardecision.mlw:539: te ==> the, be, we
data/why3-1.3.3/examples/multiprecision/lineardecision.mlw:546: te ==> the, be, we
data/why3-1.3.3/examples/multiprecision/lineardecision.mlw:1171: mone ==> mono, money, none
data/why3-1.3.3/examples/multiprecision/lineardecision.mlw:1407: mone ==> mono, money, none
data/why3-1.3.3/examples/multiprecision/mpz_div.mlw:99: nd ==> and, 2nd
data/why3-1.3.3/examples/multiprecision/mpz_div.mlw:100: nd ==> and, 2nd
data/why3-1.3.3/examples/multiprecision/mpz_mul.mlw:18: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/mpz_mul.mlw:18: Toom ==> Tomb
data/why3-1.3.3/examples/multiprecision/powm.mlw:23: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/powm.mlw:23: Toom ==> Tomb
data/why3-1.3.3/examples/multiprecision/sqrtrem.mlw:245: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/sqrtrem.mlw:245: Toom ==> Tomb
data/why3-1.3.3/examples/multiprecision/sub.mlw:61: oly ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:62: oly ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:215: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:226: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:226: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:227: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:250: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:255: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:255: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:256: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:320: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:331: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:331: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:332: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:357: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:362: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:362: ony ==> only
data/why3-1.3.3/examples/multiprecision/sub.mlw:363: ony ==> only
data/why3-1.3.3/examples/multiprecision/tests.c:570: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/tests.c:629: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/tests.c:688: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/toom.mlw:1: Toom ==> Tomb
data/why3-1.3.3/examples/multiprecision/toom.mlw:52: fonction ==> function
data/why3-1.3.3/examples/multiprecision/wmpn.mlw:19: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/wmpn.mlw:19: Toom ==> Tomb
data/why3-1.3.3/examples/multiprecision/toom/why3session.xml:15: toom ==> tomb
data/why3-1.3.3/examples/multiprecision/toom/why3session.xml:16: Toom ==> Tomb
data/why3-1.3.3/examples/prover/BacktrackArray.mlw:150: mone ==> mono, money, none
data/why3-1.3.3/examples/prover/BacktrackArray.mlw:224: mone ==> mono, money, none
data/why3-1.3.3/examples/prover/BacktrackArray.mlw:225: mone ==> mono, money, none
data/why3-1.3.3/examples/prover/BacktrackArray.mlw:350: mone ==> mono, money, none
data/why3-1.3.3/examples/prover/Choice.mlw:8: explicitely ==> explicitly
data/why3-1.3.3/examples/prover/FormulaTransformations.mlw:1385: occurence ==> occurrence
data/why3-1.3.3/examples/prover/Prover.mlw:843: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:844: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:845: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:1043: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:1044: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:1045: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:1348: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:1349: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:1350: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:1551: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:1552: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/Prover.mlw:1553: nd ==> and, 2nd
data/why3-1.3.3/examples/prover/ProverMain.mlw:37: BA ==> BY, BE
data/why3-1.3.3/examples/prover/ProverMain.mlw:66: BA ==> BY, BE
data/why3-1.3.3/examples/prover/ProverMain.mlw:70: BA ==> BY, BE
data/why3-1.3.3/examples/prover/ProverMain.mlw:72: BA ==> BY, BE
data/why3-1.3.3/examples/prover/ProverMain.mlw:73: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:8: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:9: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:10: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:23: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:24: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:47: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:48: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:49: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:161: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:163: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:171: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:212: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:213: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:214: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:240: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:256: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:272: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:305: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:310: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:462: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:891: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:907: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:953: BA ==> BY, BE
data/why3-1.3.3/examples/prover/Unification.mlw:977: BA ==> BY, BE
data/why3-1.3.3/examples/prover/bench.sh:33: FOF ==> FOR
data/why3-1.3.3/examples/prover/bench2.sh:33: FOF ==> FOR
data/why3-1.3.3/examples/prover/drinker.p:1: fof ==> for
data/why3-1.3.3/examples/prover/run.ml:341: FOF ==> FOR
data/why3-1.3.3/examples/prover/run.ml:377: FOF ==> FOR
data/why3-1.3.3/examples/prover/run.ml:457: FOF ==> FOR
data/why3-1.3.3/examples/prover/run.ml:457: fof ==> for
data/why3-1.3.3/examples/prover/run.ml:470: fof ==> for
data/why3-1.3.3/examples/prover/run.ml:472: fof ==> for
data/why3-1.3.3/examples/prover/run.ml:487: FOF ==> FOR
data/why3-1.3.3/examples/prover/run.ml:494: fof ==> for
data/why3-1.3.3/examples/prover/run.ml:540: FOF ==> FOR
data/why3-1.3.3/examples/prover/test_binders.p:1: fof ==> for
data/why3-1.3.3/examples/prover/macro_generator/MacrogenFormat.ml:230: occuring ==> occurring
data/why3-1.3.3/examples/prover/macro_generator/Macrogen_transform.ml:155: occuring ==> occurring
data/why3-1.3.3/examples/tests-provers/strings.mlw:228: ba ==> by, be
data/why3-1.3.3/examples/tests-provers/strings.mlw:397: ba ==> by, be
data/why3-1.3.3/examples/use_api/itp.ml:86: thn ==> then
data/why3-1.3.3/examples/use_api/itp.ml:103: thn ==> then
data/why3-1.3.3/examples/use_api/itp.ml:132: thn ==> then
data/why3-1.3.3/lib/coq/bv/BV_Gen.v:341: IHs ==> his
data/why3-1.3.3/lib/coq/bv/BV_Gen.v:445: IHs ==> his
data/why3-1.3.3/lib/coq/bv/BV_Gen.v:468: IHs ==> his
data/why3-1.3.3/lib/coq/bv/BV_Gen.v:492: IHs ==> his
data/why3-1.3.3/lib/coq/bv/BV_Gen.v:532: IHs ==> his
data/why3-1.3.3/lib/coq/list/RevAppend.v:57: IHs ==> his
data/why3-1.3.3/lib/coq/list/RevAppend.v:61: IHs ==> his
data/why3-1.3.3/lib/coq/list/RevAppend.v:88: IHs ==> his
data/why3-1.3.3/lib/coq/list/RevAppend.v:92: IHs ==> his
data/why3-1.3.3/plugins/microc/mc_main.ml:359: funciton ==> function
data/why3-1.3.3/plugins/parser/genequlin.ml:22: exemple ==> example
data/why3-1.3.3/plugins/parser/genequlin.ml:31: corresond ==> correspond
data/why3-1.3.3/plugins/parser/genequlin.ml:34: maximun ==> maximum
data/why3-1.3.3/plugins/parser/genequlin.ml:76: contraint ==> constraint
data/why3-1.3.3/plugins/parser/genequlin.ml:77: lits ==> list
data/why3-1.3.3/plugins/parser/genequlin.ml:84: lits ==> list
data/why3-1.3.3/plugins/parser/genequlin.ml:91: lits ==> list
data/why3-1.3.3/plugins/parser/genequlin.ml:92: lits ==> list
data/why3-1.3.3/plugins/python/py_main.ml:413: funciton ==> function
data/why3-1.3.3/plugins/tptp/tptp_ast.ml:82: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_lexer.mll:87: fof ==> for
data/why3-1.3.3/plugins/tptp/tptp_lexer.mll:280: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_parser.mly:70: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_parser.mly:277: fof ==> for
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:50: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:180: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:209: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:223: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:264: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:264: fof ==> for
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:268: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:268: fof ==> for
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:311: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:311: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:314: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_printer.ml:450: FOF ==> FOR
data/why3-1.3.3/plugins/tptp/tptp_typing.ml:54: SPred ==> spread
data/why3-1.3.3/plugins/tptp/tptp_typing.ml:255: SPred ==> spread
data/why3-1.3.3/plugins/tptp/tptp_typing.ml:344: SPred ==> spread
data/why3-1.3.3/plugins/tptp/tptp_typing.ml:568: SPred ==> spread
data/why3-1.3.3/plugins/tptp/tptp_typing.ml:589: SPred ==> spread
data/why3-1.3.3/plugins/transform/hypothesis_selection.ml:312: litteral ==> literal
data/why3-1.3.3/plugins/transform/hypothesis_selection.ml:312: litteral ==> literal
data/why3-1.3.3/share/emacs/why3.el:175: hilight ==> highlight
data/why3-1.3.3/src/core/coercion.mli:34: asymetric ==> asymmetric
data/why3-1.3.3/src/core/env.mli:151: bultin ==> builtin
data/why3-1.3.3/src/core/env.mli:178: bultin ==> builtin
data/why3-1.3.3/src/core/ident.ml:402: splitted ==> split
data/why3-1.3.3/src/core/ident.ml:403: splitted ==> split
data/why3-1.3.3/src/core/ident.ml:432: splitted ==> split
data/why3-1.3.3/src/core/ident.ml:433: splitted ==> split
data/why3-1.3.3/src/core/ident.mli:232: occurence ==> occurrence
data/why3-1.3.3/src/core/model_parser.ml:448: splitted ==> split
data/why3-1.3.3/src/core/model_parser.ml:449: splitted ==> split
data/why3-1.3.3/src/core/model_parser.ml:572: Quering ==> Querying
data/why3-1.3.3/src/core/model_parser.ml:817: Quering ==> Querying
data/why3-1.3.3/src/core/model_parser.mli:182: splitted ==> split
data/why3-1.3.3/src/core/printer.mli:30: estabilish ==> establish
data/why3-1.3.3/src/core/trans.ml:336: te ==> the, be, we
data/why3-1.3.3/src/core/trans.ml:338: te ==> the, be, we
data/why3-1.3.3/src/core/trans.ml:532: alo ==> also
data/why3-1.3.3/src/core/trans.ml:533: alo ==> also
data/why3-1.3.3/src/core/trans.mli:87: differenciation ==> differentiation
data/why3-1.3.3/src/core/trans.mli:182: transfromed ==> transformed
data/why3-1.3.3/src/driver/autodetection.ml:22: manualy ==> manually
data/why3-1.3.3/src/driver/call_provers.ml:165: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:169: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:177: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:295: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:308: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:310: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:315: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:316: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:318: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:423: ans ==> and
data/why3-1.3.3/src/driver/call_provers.ml:425: ans ==> and
data/why3-1.3.3/src/driver/call_provers.mli:34: occured ==> occurred
data/why3-1.3.3/src/driver/collect_data_model.ml:420: circularly ==> circular
data/why3-1.3.3/src/driver/prove_client.ml:148: succesfully ==> successfully
data/why3-1.3.3/src/driver/whyconf.ml:895: strat ==> start, strata
data/why3-1.3.3/src/driver/whyconf.ml:897: strat ==> start, strata
data/why3-1.3.3/src/driver/whyconf.ml:897: strat ==> start, strata
data/why3-1.3.3/src/driver/whyconf.mli:267: accesing ==> accessing
data/why3-1.3.3/src/ide/why3ide.ml:330: quiting ==> quitting
data/why3-1.3.3/src/ide/why3ide.ml:1388: strat ==> start, strata
data/why3-1.3.3/src/ide/why3ide.ml:1394: strat ==> start, strata
data/why3-1.3.3/src/ide/why3web.ml:106: ans ==> and
data/why3-1.3.3/src/ide/why3web.ml:107: ans ==> and
data/why3-1.3.3/src/ide/why3web.ml:111: ans ==> and
data/why3-1.3.3/src/jessie/ACSLtoWhy3.ml:192: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3.ml:240: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3.ml:877: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3.ml:878: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3.ml:882: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3.ml:1027: DElet ==> delete
data/why3-1.3.3/src/jessie/ACSLtoWhy3.ml:1439: environnement ==> environment
data/why3-1.3.3/src/jessie/ACSLtoWhy3.ml:1482: DElet ==> delete
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:156: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:184: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:234: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:267: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:943: DElet ==> delete
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:1358: DElet ==> delete
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:1365: DElet ==> delete
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:1497: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:1498: modul ==> module
data/why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:1502: modul ==> module
data/why3-1.3.3/src/mlw/dexpr.ml:301: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:302: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:302: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:305: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:306: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:306: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:310: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:311: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:311: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:321: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:322: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:322: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:325: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:326: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:326: nd ==> and, 2nd
data/why3-1.3.3/src/mlw/dexpr.ml:418: DElet ==> delete
data/why3-1.3.3/src/mlw/dexpr.ml:586: DElet ==> delete
data/why3-1.3.3/src/mlw/dexpr.ml:797: ot ==> to, of, or
data/why3-1.3.3/src/mlw/dexpr.ml:798: ot ==> to, of, or
data/why3-1.3.3/src/mlw/dexpr.ml:832: DElet ==> delete
data/why3-1.3.3/src/mlw/dexpr.ml:1010: ue ==> use, due
data/why3-1.3.3/src/mlw/dexpr.ml:1012: ue ==> use, due
data/why3-1.3.3/src/mlw/dexpr.ml:1489: DElet ==> delete
data/why3-1.3.3/src/mlw/dexpr.ml:1492: DElet ==> delete
data/why3-1.3.3/src/mlw/dexpr.ml:1533: DElet ==> delete
data/why3-1.3.3/src/mlw/dexpr.ml:1537: DElet ==> delete
data/why3-1.3.3/src/mlw/dexpr.mli:116: DElet ==> delete
data/why3-1.3.3/src/mlw/ity.ml:667: compontents ==> components
data/why3-1.3.3/src/mlw/ity.ml:680: compontents ==> components
data/why3-1.3.3/src/mlw/pdecl.ml:78: witn ==> with
data/why3-1.3.3/src/mlw/pdecl.ml:89: witn ==> with
data/why3-1.3.3/src/mlw/pdecl.ml:98: witn ==> with
data/why3-1.3.3/src/mlw/pdecl.ml:100: witn ==> with
data/why3-1.3.3/src/mlw/pdecl.mli:31: witn ==> with
data/why3-1.3.3/src/mlw/pdecl.mli:44: witn ==> with
data/why3-1.3.3/src/mlw/pmodule.ml:1078: wit ==> with
data/why3-1.3.3/src/mlw/pmodule.ml:1080: wit ==> with
data/why3-1.3.3/src/mlw/pmodule.ml:1205: correspondance ==> correspondence
data/why3-1.3.3/src/parser/typing.ml:828: DElet ==> delete
data/why3-1.3.3/src/parser/typing.ml:1010: DElet ==> delete
data/why3-1.3.3/src/parser/typing.ml:1072: DElet ==> delete
data/why3-1.3.3/src/parser/typing.ml:1294: wit ==> with
data/why3-1.3.3/src/parser/typing.ml:1295: wit ==> with
data/why3-1.3.3/src/parser/typing.ml:1296: wit ==> with
data/why3-1.3.3/src/parser/typing.ml:1299: wit ==> with
data/why3-1.3.3/src/printer/alt_ergo.ml:74: Nd ==> And, 2nd
data/why3-1.3.3/src/printer/cntexmp_printer.ml:99: informations ==> information
data/why3-1.3.3/src/printer/cvc3.ml:124: wich ==> which
data/why3-1.3.3/src/printer/pvs.ml:95: upto ==> up to
data/why3-1.3.3/src/printer/simplify.ml:58: wich ==> which
data/why3-1.3.3/src/printer/smtv1.ml:98: wich ==> which
data/why3-1.3.3/src/printer/smtv1.ml:122: wich ==> which
data/why3-1.3.3/src/printer/smtv2.ml:296: wich ==> which
data/why3-1.3.3/src/printer/smtv2.ml:372: wich ==> which
data/why3-1.3.3/src/printer/smtv2.ml:576: doesnt ==> doesn't, does not
data/why3-1.3.3/src/printer/why3printer.ml:408: IST ==> IS, IT, ITS, IT'S, SIT, LIST
data/why3-1.3.3/src/server/README.server:14: ressource ==> resource
data/why3-1.3.3/src/server/README.server:93: commmand ==> command
data/why3-1.3.3/src/server/cpulimit-win.c:172: abandonned ==> abandoned
data/why3-1.3.3/src/server/server-unix.c:321: ressource ==> resource
data/why3-1.3.3/src/server/server-win.c:327: blackslashes ==> backslashes
data/why3-1.3.3/src/server/server-win.c:345: blackslashes ==> backslashes
data/why3-1.3.3/src/session/controller_itp.ml:798: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.ml:799: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.ml:800: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.ml:803: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.ml:820: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.ml:838: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.ml:846: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.ml:854: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.ml:856: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.mli:284: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.mli:285: strat ==> start, strata
data/why3-1.3.3/src/session/controller_itp.mli:390: proceeeds ==> proceeds
data/why3-1.3.3/src/session/controller_itp.mli:391: garantee ==> guarantee
data/why3-1.3.3/src/session/itp_server.ml:1412: occured ==> occurred
data/why3-1.3.3/src/session/json_util.ml:252: strat ==> start, strata
data/why3-1.3.3/src/session/json_util.ml:512: strat ==> start, strata
data/why3-1.3.3/src/session/server_utils.ml:153: happend ==> happened, happens, happen
data/why3-1.3.3/src/session/session_itp.ml:17: Pring ==> Print, bring, ping, spring
data/why3-1.3.3/src/session/session_itp.ml:797: ths ==> the, this
data/why3-1.3.3/src/session/session_itp.ml:798: ths ==> the, this
data/why3-1.3.3/src/session/session_itp.ml:799: ths ==> the, this
data/why3-1.3.3/src/session/session_itp.ml:803: ths ==> the, this
data/why3-1.3.3/src/session/session_itp.mli:169: ths ==> the, this
data/why3-1.3.3/src/session/session_itp.mli:171: ths ==> the, this
data/why3-1.3.3/src/session/termcode.ml:895: occurence ==> occurrence
data/why3-1.3.3/src/tools/why3replay.ml:128: ths ==> the, this
data/why3-1.3.3/src/tools/why3replay.ml:131: ths ==> the, this
data/why3-1.3.3/src/tools/why3replay.ml:134: ths ==> the, this
data/why3-1.3.3/src/tools/why3replay.ml:136: ths ==> the, this
data/why3-1.3.3/src/tools/why3replay.ml:150: ths ==> the, this
data/why3-1.3.3/src/tools/why3replay.ml:153: ths ==> the, this
data/why3-1.3.3/src/tools/why3shell.ml:332: focuse ==> focus
data/why3-1.3.3/src/transform/apply.ml:272: instanciation ==> instantiation
data/why3-1.3.3/src/transform/apply.ml:465: occurences ==> occurrences
data/why3-1.3.3/src/transform/args_wrapper.ml:556: te ==> the, be, we
data/why3-1.3.3/src/transform/args_wrapper.ml:557: te ==> the, be, we
data/why3-1.3.3/src/transform/args_wrapper.ml:559: te ==> the, be, we
data/why3-1.3.3/src/transform/args_wrapper.ml:560: te ==> the, be, we
data/why3-1.3.3/src/transform/cut.ml:224: occurences ==> occurrences
data/why3-1.3.3/src/transform/destruct.ml:286: te ==> the, be, we
data/why3-1.3.3/src/transform/destruct.ml:293: te ==> the, be, we
data/why3-1.3.3/src/transform/destruct.ml:296: readd ==> re-add, read
data/why3-1.3.3/src/transform/discriminate.ml:86: fonctions ==> functions
data/why3-1.3.3/src/transform/generic_arg_trans_utils.ml:32: te ==> the, be, we
data/why3-1.3.3/src/transform/generic_arg_trans_utils.ml:42: te ==> the, be, we
data/why3-1.3.3/src/transform/generic_arg_trans_utils.ml:51: te ==> the, be, we
data/why3-1.3.3/src/transform/generic_arg_trans_utils.ml:76: te ==> the, be, we
data/why3-1.3.3/src/transform/ind_itp.ml:36: chosing ==> choosing
data/why3-1.3.3/src/transform/ind_itp.ml:216: independantly ==> independently
data/why3-1.3.3/src/transform/induction.ml:62: instanciated ==> instantiated
data/why3-1.3.3/src/transform/induction.ml:175: recusrive ==> recursive
data/why3-1.3.3/src/transform/induction.ml:266: instanciation ==> instantiation
data/why3-1.3.3/src/transform/induction_pr.ml:193: IHs ==> his
data/why3-1.3.3/src/transform/intro_projections_counterexmp.ml:159: nd ==> and, 2nd
data/why3-1.3.3/src/transform/intro_projections_counterexmp.mli:37: usefull ==> useful
data/why3-1.3.3/src/transform/intro_vc_vars_counterexmp.mli:35: signle ==> single
data/why3-1.3.3/src/transform/lift_epsilon.ml:69: alo ==> also
data/why3-1.3.3/src/transform/lift_epsilon.ml:70: alo ==> also
data/why3-1.3.3/src/transform/matching.ml:795: informations ==> information
data/why3-1.3.3/src/transform/matching.ml:884: occuring ==> occurring
data/why3-1.3.3/src/transform/matching.ml:907: occurences ==> occurrences
data/why3-1.3.3/src/transform/reflection.ml:643: ths ==> the, this
data/why3-1.3.3/src/transform/reflection.ml:681: ths ==> the, this
data/why3-1.3.3/src/transform/split_goal.ml:40: conjonction ==> conjunction
data/why3-1.3.3/src/transform/subst.ml:537: readded ==> read
data/why3-1.3.3/src/trywhy3/index.prehtml:73: utilis ==> utilise
data/why3-1.3.3/src/trywhy3/index.prehtml:102: Exemples ==> Examples
data/why3-1.3.3/src/trywhy3/index.prehtml:166: horizontale ==> horizontal
data/why3-1.3.3/src/util/extmap.ml:5: Cristal ==> Crystal
data/why3-1.3.3/src/util/extmap.ml:304: pres ==> press
data/why3-1.3.3/src/util/extmap.ml:304: pres ==> press
data/why3-1.3.3/src/util/extmap.ml:306: pres ==> press
data/why3-1.3.3/src/util/extmap.ml:306: pres ==> press
data/why3-1.3.3/src/util/extmap.mli:5: Cristal ==> Crystal
data/why3-1.3.3/src/util/lists.mli:59: satifies ==> satisfies
data/why3-1.3.3/src/why3session/why3session_info.ml:457: informations ==> information
data/why3-1.3.3/src/why3session/why3session_latex.ml:409: ths ==> the, this
data/why3-1.3.3/src/why3session/why3session_latex.ml:413: ths ==> the, this
data/why3-1.3.3/src/why3session/why3session_lib.ml:159: unexpeted ==> unexpected
data/why3-1.3.3/stdlib/seq.mlw:426: occurences ==> occurrences
data/why3-1.3.3/stdlib/string.mlw:261: occurence ==> occurrence
data/why3-1.3.3/stdlib/string.mlw:332: occurences ==> occurrences
data/why3-1.3.3/stdlib/string.mlw:554: inteded ==> intended
data/why3-1.3.3/stdlib/mach/array.mlw:210: resuse ==> reuse
data/why3-1.3.3/debian/copyright:89: synching ==> syncing
data/why3-1.3.3/debian/copyright:282: MERCHANTIBILITY ==> MERCHANTABILITY
data/why3-1.3.3/.pc/hardening-flags/Makefile.in:2164: intented ==> intended, indented