data/ppl-1.2/configure:8201: nd ==> and, 2nd
data/ppl-1.2/configure:8209: nd ==> and, 2nd
data/ppl-1.2/configure:8209: nd ==> and, 2nd
data/ppl-1.2/configure:8230: nd ==> and, 2nd
data/ppl-1.2/configure:8240: nd ==> and, 2nd
data/ppl-1.2/configure:20389: permision ==> permission
data/ppl-1.2/configure:22745: beacause ==> because
data/ppl-1.2/config.rpath:7: gord ==> gourd
data/ppl-1.2/depcomp:438: Maked ==> Marked, made
data/ppl-1.2/depcomp:447: Maked ==> Marked, made
data/ppl-1.2/depcomp:451: Maked ==> Marked, made
data/ppl-1.2/ltmain.sh:3: gord ==> gourd
data/ppl-1.2/ltmain.sh:192: retuned ==> returned
data/ppl-1.2/ltmain.sh:525: incase ==> in case
data/ppl-1.2/ltmain.sh:1016: clea ==> clean
data/ppl-1.2/ltmain.sh:1022: execut ==> execute
data/ppl-1.2/ltmain.sh:1028: instal ==> install
data/ppl-1.2/ltmain.sh:4397: inluding ==> including
data/ppl-1.2/ltmain.sh:4573: MSDOS ==> MS-DOS
data/ppl-1.2/config.guess:352: Ake ==> Ache
data/ppl-1.2/config.sub:257: ba ==> by, be
data/ppl-1.2/config.sub:849: msdos ==> ms-dos
data/ppl-1.2/STANDARDS:547: usng ==> using
data/ppl-1.2/ChangeLog_2001-2008:1247: extented ==> extended
data/ppl-1.2/ChangeLog_2001-2008:1283: splitted ==> split
data/ppl-1.2/ChangeLog_2001-2008:2440: foreing ==> foreign
data/ppl-1.2/ChangeLog_2001-2008:2453: teh ==> the
data/ppl-1.2/ChangeLog_2001-2008:2469: thorwn ==> thrown, thorn
data/ppl-1.2/ChangeLog_2001-2008:2583: manauls ==> manuals
data/ppl-1.2/ChangeLog_2001-2008:3309: langauge ==> language
data/ppl-1.2/ChangeLog_2001-2008:3424: genral ==> general
data/ppl-1.2/ChangeLog_2001-2008:3660: whith ==> with
data/ppl-1.2/ChangeLog_2001-2008:4327: extrenal ==> external
data/ppl-1.2/ChangeLog_2001-2008:5212: manaul ==> manual
data/ppl-1.2/ChangeLog_2001-2008:5813: genrated ==> generated
data/ppl-1.2/ChangeLog_2001-2008:6601: buid ==> build
data/ppl-1.2/ChangeLog_2001-2008:6612: knwon ==> known
data/ppl-1.2/ChangeLog_2001-2008:6911: unuseable ==> unusable
data/ppl-1.2/ChangeLog_2001-2008:6953: Reenable ==> Re-enable
data/ppl-1.2/ChangeLog_2001-2008:7218: Striclty ==> Strictly
data/ppl-1.2/ChangeLog_2001-2008:7659: Splitted ==> Split
data/ppl-1.2/ChangeLog_2001-2008:8067: anothe ==> another
data/ppl-1.2/ChangeLog_2001-2008:8385: Outout ==> Output
data/ppl-1.2/ChangeLog_2001-2008:8838: whe ==> when, we
data/ppl-1.2/ChangeLog_2001-2008:9517: teh ==> the
data/ppl-1.2/ChangeLog_2001-2008:10057: hte ==> the
data/ppl-1.2/ChangeLog_2001-2008:10101: Bolean ==> Boolean
data/ppl-1.2/ChangeLog_2001-2008:10375: documention ==> documentation
data/ppl-1.2/ChangeLog_2001-2008:11619: Implemened ==> Implemented
data/ppl-1.2/ChangeLog_2001-2008:11995: uncorrect ==> incorrect
data/ppl-1.2/ChangeLog_2001-2008:13014: tha ==> than, that, the
data/ppl-1.2/ChangeLog_2001-2008:13780: sematic ==> semantic
data/ppl-1.2/ChangeLog_2001-2008:14531: descrptors ==> descriptors
data/ppl-1.2/ChangeLog_2001-2008:14677: coverting ==> converting
data/ppl-1.2/ChangeLog_2001-2008:15370: insted ==> instead
data/ppl-1.2/ChangeLog_2001-2008:16350: teh ==> the
data/ppl-1.2/ChangeLog_2001-2008:20228: implemementations ==> implementations
data/ppl-1.2/ChangeLog_2001-2008:20357: fro ==> for, from
data/ppl-1.2/ChangeLog_2001-2008:20357: fro ==> for, from
data/ppl-1.2/ChangeLog_2001-2008:20596: implentation ==> implementation
data/ppl-1.2/ChangeLog_2001-2008:22500: teh ==> the
data/ppl-1.2/ChangeLog_2001-2008:24100: canonicalizations ==> canonicalization
data/ppl-1.2/ChangeLog_2001-2008:24601: informations ==> information
data/ppl-1.2/ChangeLog_2001-2008:25223: Commends ==> Comments, commands
data/ppl-1.2/ChangeLog_2001-2008:25476: provate ==> private, provide
data/ppl-1.2/ChangeLog_2001-2008:26430: arithmetics ==> arithmetic
data/ppl-1.2/ChangeLog_2001-2008:26632: leat ==> lead, leak, least, leaf
data/ppl-1.2/ChangeLog_2001-2008:29070: Readded ==> Read
data/ppl-1.2/ChangeLog_2001-2008:29374: shoudl ==> should
data/ppl-1.2/ChangeLog_2001-2008:30919: Commited ==> Committed
data/ppl-1.2/ChangeLog_2001-2008:31038: Splitted ==> Split
data/ppl-1.2/ChangeLog_2001-2008:31250: Switchs ==> Switches
data/ppl-1.2/ChangeLog_2001-2008:31316: inteface ==> interface
data/ppl-1.2/ChangeLog_2001-2008:31322: commited ==> committed
data/ppl-1.2/ChangeLog_2001-2008:31819: Addded ==> Added
data/ppl-1.2/ChangeLog_2001-2008:32094: Splitted ==> Split
data/ppl-1.2/ChangeLog_2001-2008:33944: aruments ==> arguments
data/ppl-1.2/ChangeLog_2001-2008:34221: thats ==> that's
data/ppl-1.2/ChangeLog_2001-2008:35939: loosing ==> losing
data/ppl-1.2/ChangeLog_2001-2008:36384: avaiable ==> available
data/ppl-1.2/ChangeLog_2001-2008:36473: Remeber ==> Remember
data/ppl-1.2/ChangeLog_2001-2008:37293: innacurate ==> inaccurate
data/ppl-1.2/ChangeLog_2001-2008:38724: chnages ==> changes
data/ppl-1.2/ChangeLog_2001-2008:40043: concering ==> concerning
data/ppl-1.2/ChangeLog_2001-2008:40246: exploting ==> exploiting, exploring
data/ppl-1.2/ChangeLog_2001-2008:40254: informations ==> information
data/ppl-1.2/ChangeLog_2001-2008:40275: temporarly ==> temporarily, temporary
data/ppl-1.2/ChangeLog_2001-2008:41636: coments ==> comments
data/ppl-1.2/ChangeLog_2001-2008:41948: definnition ==> definition
data/ppl-1.2/ChangeLog_2001-2008:42015: indepedent ==> independent
data/ppl-1.2/ChangeLog_2001-2008:42028: delimeters ==> delimiters
data/ppl-1.2/ChangeLog_2001-2008:42274: accomodate ==> accommodate
data/ppl-1.2/ChangeLog_2001-2008:42329: Entended ==> Intended
data/ppl-1.2/ChangeLog_2001-2008:42881: exeption ==> exception, exemption
data/ppl-1.2/ChangeLog_2001-2008:43255: contraint ==> constraint
data/ppl-1.2/ChangeLog_2001-2008:44412: funcions ==> functions
data/ppl-1.2/ChangeLog_2001-2008:44496: alow ==> allow
data/ppl-1.2/ChangeLog_2001-2008:44619: unneccesary ==> unnecessary
data/ppl-1.2/ChangeLog_2001-2008:44632: trasformations ==> transformations
data/ppl-1.2/ChangeLog_2001-2008:44641: trasformations ==> transformations
data/ppl-1.2/ChangeLog_2001-2008:44709: Rewrited ==> Rewrote, rewritten
data/ppl-1.2/ChangeLog_2001-2008:44745: fucntions ==> functions
data/ppl-1.2/ChangeLog_2001-2008:44766: assumming ==> assuming
data/ppl-1.2/ChangeLog_2001-2008:45065: twoo ==> two, too
data/ppl-1.2/ChangeLog_2001-2008:45091: twoo ==> two, too
data/ppl-1.2/ChangeLog_2001-2008:45516: betweeen ==> between
data/ppl-1.2/ChangeLog_2001-2008:45754: commited ==> committed
data/ppl-1.2/ChangeLog_2001-2008:45946: artifical ==> artificial
data/ppl-1.2/ChangeLog_2001-2008:47141: correclty ==> correctly
data/ppl-1.2/ChangeLog_2001-2008:47198: coefficent ==> coefficient
data/ppl-1.2/ChangeLog_2001-2008:47358: Tranformed ==> Transformed
data/ppl-1.2/ChangeLog_2001-2008:49241: ot ==> to, of, or
data/ppl-1.2/ChangeLog_2001-2008:49305: paramter ==> parameter
data/ppl-1.2/ChangeLog_2001-2008:49931: intead ==> instead
data/ppl-1.2/ChangeLog_2001-2008:53475: Coefficeint ==> Coefficient
data/ppl-1.2/ChangeLog_2001-2008:55595: Splitted ==> Split
data/ppl-1.2/ChangeLog_2001-2008:56812: provate ==> private, provide
data/ppl-1.2/ChangeLog_2001-2008:57796: gird ==> grid
data/ppl-1.2/ChangeLog_2001-2008:58262: accoring ==> according, occurring
data/ppl-1.2/ChangeLog_2001-2008:58330: traling ==> trailing, trialing
data/ppl-1.2/ChangeLog_2001-2008:58668: teh ==> the
data/ppl-1.2/ChangeLog_2001-2008:59150: fo ==> of, for
data/ppl-1.2/ChangeLog_2001-2008:60019: containts ==> contains
data/ppl-1.2/ChangeLog_2001-2008:60771: informations ==> information
data/ppl-1.2/ChangeLog_2001-2008:61097: ovverrides ==> overrides
data/ppl-1.2/ChangeLog_2001-2008:61530: choosen ==> chosen
data/ppl-1.2/ChangeLog_2001-2008:63214: previosu ==> previous
data/ppl-1.2/ChangeLog_2001-2008:63409: funcions ==> functions
data/ppl-1.2/ChangeLog_2001-2008:65220: hte ==> the
data/ppl-1.2/ChangeLog_2001-2008:66543: simplifys ==> simplifies
data/ppl-1.2/ChangeLog_2001-2008:69233: choosen ==> chosen
data/ppl-1.2/ChangeLog_2001-2008:69887: hve ==> have
data/ppl-1.2/ChangeLog_2001-2008:70096: dependance ==> dependence
data/ppl-1.2/ChangeLog_2001-2008:70452: documantation ==> documentation
data/ppl-1.2/ChangeLog_2001-2008:70958: arguemnt ==> argument
data/ppl-1.2/ChangeLog_2001-2008:72741: coeffcient ==> coefficient
data/ppl-1.2/ChangeLog_2001-2008:72768: teh ==> the
data/ppl-1.2/ChangeLog_2001-2008:73197: mathod ==> method
data/ppl-1.2/ChangeLog_2001-2008:73662: hided ==> hidden, hid
data/ppl-1.2/ChangeLog_2001-2008:74315: arithmentic ==> arithmetic
data/ppl-1.2/ChangeLog_2001-2008:74853: funcions ==> functions
data/ppl-1.2/ChangeLog_2001-2008:74936: explicitely ==> explicitly
data/ppl-1.2/ChangeLog_2001-2008:78903: Currect ==> Correct, current
data/ppl-1.2/ChangeLog_2001-2008:79179: Functon ==> Function
data/ppl-1.2/ChangeLog_2001-2008:79558: pard ==> part
data/ppl-1.2/ChangeLog_2001-2008:79863: implementating ==> implementing
data/ppl-1.2/ChangeLog_2001-2008:80548: teh ==> the
data/ppl-1.2/ChangeLog_2001-2008:81528: provate ==> private, provide
data/ppl-1.2/ChangeLog_2001-2008:82217: cutted ==> cut
data/ppl-1.2/ChangeLog_2001-2008:85754: tha ==> than, that, the
data/ppl-1.2/ChangeLog_2001-2008:85796: Chnages ==> Changes
data/ppl-1.2/ChangeLog_2001-2008:86644: fullfilled ==> fulfilled
data/ppl-1.2/ChangeLog_2001-2008:87479: chnages ==> changes
data/ppl-1.2/ChangeLog_2001-2008:88477: explaning ==> explaining
data/ppl-1.2/ChangeLog_2001-2008:88804: explicitely ==> explicitly
data/ppl-1.2/ChangeLog_2001-2008:89042: methos ==> methods, method
data/ppl-1.2/ChangeLog_2001-2008:89778: Cutted ==> Cut
data/ppl-1.2/ChangeLog_2001-2008:90579: Metods ==> Methods
data/ppl-1.2/ChangeLog_2001-2008:90625: methos ==> methods, method
data/ppl-1.2/ChangeLog_2001-2008:91848: coefficeints ==> coefficients
data/ppl-1.2/ChangeLog_2001-2008:93930: poject ==> project
data/ppl-1.2/ChangeLog_2001-2008:94142: memebr ==> member
data/ppl-1.2/ChangeLog_2001-2008:94192: teh ==> the
data/ppl-1.2/ChangeLog_2001-2008:95452: expception ==> exception
data/ppl-1.2/ChangeLog_2001-2008:95478: tha ==> than, that, the
data/ppl-1.2/ChangeLog_2001-2008:95616: bulids ==> builds
data/ppl-1.2/ChangeLog_2001-2008:95666: expanation ==> explanation, expansion
data/ppl-1.2/CREDITS:277: StInG ==> string
data/ppl-1.2/CREDITS:416: sting ==> string
data/ppl-1.2/ChangeLog:1792: Readded ==> Read
data/ppl-1.2/ChangeLog:3147: Theses ==> These, thesis
data/ppl-1.2/ChangeLog:3558: invlaid ==> invalid
data/ppl-1.2/ChangeLog:5582: som ==> some
data/ppl-1.2/ChangeLog:6436: compilability ==> compatibility
data/ppl-1.2/ChangeLog:9313: againts ==> against
data/ppl-1.2/ChangeLog:13281: childs ==> children, child's
data/ppl-1.2/ChangeLog:13288: taht ==> that
data/ppl-1.2/ChangeLog:13288: hightlight ==> highlight
data/ppl-1.2/ChangeLog:13340: expexted ==> expected
data/ppl-1.2/ChangeLog:18493: teh ==> the
data/ppl-1.2/ChangeLog:19843: neede ==> needed, need
data/ppl-1.2/ChangeLog:20052: asign ==> assign
data/ppl-1.2/ChangeLog:20776: lenghty ==> lengthy
data/ppl-1.2/ChangeLog:21207: direclty ==> directly
data/ppl-1.2/ChangeLog:21348: Everyting ==> Everything
data/ppl-1.2/ChangeLog:21738: taht ==> that
data/ppl-1.2/ChangeLog:22026: Ditribute ==> Distribute
data/ppl-1.2/ChangeLog:22191: managment ==> management
data/ppl-1.2/ChangeLog:22227: Implemeted ==> Implemented
data/ppl-1.2/ChangeLog:23156: contraints ==> constraints
data/ppl-1.2/ChangeLog:24983: fo ==> of, for
data/ppl-1.2/ChangeLog:25054: returing ==> returning
data/ppl-1.2/ChangeLog:27446: commmand ==> command
data/ppl-1.2/ChangeLog:28597: fo ==> of, for
data/ppl-1.2/interfaces/Prolog/ppl_interface_generator_prolog_dox_code.m4:422: desctructor ==> destructor
data/ppl-1.2/interfaces/OCaml/OCaml_interface.dox:203: respecively ==> respectively
data/ppl-1.2/interfaces/OCaml/ppl_ocaml_globals.mli:1: inteface ==> interface
data/ppl-1.2/interfaces/OCaml/tests/test1.ml:457: succeded ==> succeeded
data/ppl-1.2/interfaces/OCaml/tests/test1.ml:492: succeded ==> succeeded
data/ppl-1.2/demos/ppl_lpsol/glpk_set_d_eps.c:212: Thron ==> Thrown, throne
data/ppl-1.2/demos/ppl_lpsol/ppl_lpsol.c:611: possibile ==> possible
data/ppl-1.2/demos/ppl_lcdd/ppl_lcdd.cc:1128: numer ==> number
data/ppl-1.2/demos/ppl_lcdd/ppl_lcdd.cc:1130: numer ==> number
data/ppl-1.2/demos/ppl_lcdd/ppl_lcdd.cc:1134: numer ==> number
data/ppl-1.2/doc/ppl_citations.bib:529: Normale ==> Normal
data/ppl-1.2/doc/ppl_citations.bib:1082: Comon ==> Common
data/ppl-1.2/doc/ppl_citations.bib:1082: Comon ==> Common
data/ppl-1.2/doc/ppl_citations.bib:1973: Modell ==> Model
data/ppl-1.2/doc/ppl_citations.bib:1984: Funktion ==> Function
data/ppl-1.2/doc/ppl_citations.bib:1984: als ==> also
data/ppl-1.2/doc/ppl_citations.bib:1985: ist ==> is, it, its, it's, sit, list
data/ppl-1.2/doc/ppl_citations.bib:2164: appicability ==> applicability
data/ppl-1.2/doc/ppl_citations.bib:2576: Approches ==> Approaches
data/ppl-1.2/doc/ppl_citations.bib:2587: specic ==> specific
data/ppl-1.2/doc/ppl_citations.bib:2937: StInG ==> string
data/ppl-1.2/doc/ppl_citations.bib:3110: Additionallly ==> Additionally
data/ppl-1.2/doc/ppl_citations.bib:4201: diffcult ==> difficult
data/ppl-1.2/doc/ppl_citations.bib:5050: developped ==> developed
data/ppl-1.2/doc/ppl_citations.bib:5205: probem ==> problem
data/ppl-1.2/doc/ppl_citations.bib:5322: inferrence ==> inference
data/ppl-1.2/doc/ppl.bib:25: transfert ==> transfer, transferred
data/ppl-1.2/doc/ppl.bib:1903: ist ==> is, it, its, it's, sit, list
data/ppl-1.2/doc/ppl.bib:1929: ist ==> is, it, its, it's, sit, list
data/ppl-1.2/doc/ppl.bib:2348: softwares ==> software
data/ppl-1.2/doc/ppl.bib:2525: kernal ==> kernel
data/ppl-1.2/doc/ppl.bib:2546: kernal ==> kernel
data/ppl-1.2/doc/ppl.bib:2739: Stoer ==> Store
data/ppl-1.2/doc/ppl.sty:82: pard ==> part
data/ppl-1.2/doc/ppl.sty:186: arithmetics ==> arithmetic
data/ppl-1.2/doc/ppl.sty:193: arithmetics ==> arithmetic
data/ppl-1.2/doc/definitions.dox:1157: pard ==> part
data/ppl-1.2/doc/definitions.dox:2700: approch ==> approach
data/ppl-1.2/doc/definitions.dox:2976: transfert ==> transfer, transferred
data/ppl-1.2/doc/definitions.dox:4310: Stoer ==> Store
data/ppl-1.2/m4/ac_prog_java.m4:124: beacause ==> because
data/ppl-1.2/m4/ac_check_fpu_control.m4:57: nd ==> and, 2nd
data/ppl-1.2/m4/ac_check_fpu_control.m4:65: nd ==> and, 2nd
data/ppl-1.2/m4/ac_check_fpu_control.m4:65: nd ==> and, 2nd
data/ppl-1.2/m4/ac_check_fpu_control.m4:86: nd ==> and, 2nd
data/ppl-1.2/m4/ac_check_fpu_control.m4:96: nd ==> and, 2nd
data/ppl-1.2/m4/ppl.m4:169: enviroment ==> environment
data/ppl-1.2/m4/ppl.m4:213: enviroment ==> environment
data/ppl-1.2/m4/ppl.m4:272: occured ==> occurred
data/ppl-1.2/m4/libtool.m4:607: incase ==> in case
data/ppl-1.2/m4/libtool.m4:644: permision ==> permission
data/ppl-1.2/m4/ppl_c.m4:171: enviroment ==> environment
data/ppl-1.2/m4/ppl_c.m4:213: enviroment ==> environment
data/ppl-1.2/m4/ppl_c.m4:270: occured ==> occurred
data/ppl-1.2/tests/ppl_test.hh:530: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:544: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:564: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:596: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:631: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:645: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:665: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:722: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:736: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:769: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.hh:801: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.cc:224: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.cc:241: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.cc:261: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.cc:284: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.cc:302: nknown ==> unknown
data/ppl-1.2/tests/ppl_test.cc:319: nknown ==> unknown
data/ppl-1.2/tests/Box/max_min1.cc:393: BOXS ==> BOX
data/ppl-1.2/tests/Box/max_min1.cc:423: BOXS ==> BOX
data/ppl-1.2/tests/Box/propagateconstraints2.cc:328: perturbate ==> perturb
data/ppl-1.2/tests/Box/propagateconstraints2.cc:340: perturbate ==> perturb
data/ppl-1.2/tests/BD_Shape/closure1.cc:318: perturbate ==> perturb
data/ppl-1.2/tests/BD_Shape/closure1.cc:329: perturbate ==> perturb
data/ppl-1.2/tests/BD_Shape/closure1.cc:391: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:393: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:395: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:398: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:496: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:498: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:501: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:503: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:505: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:507: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:509: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:511: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:512: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:513: numer ==> number
data/ppl-1.2/tests/BD_Shape/closure1.cc:515: numer ==> number
data/ppl-1.2/tests/Concrete_Expression/digitalfilters1.cc:1: differents ==> different, difference
data/ppl-1.2/tests/Concrete_Expression/digitalfilters1.cc:513: transer ==> transfer
data/ppl-1.2/tests/Concrete_Expression/digitalfilters1.cc:722: transer ==> transfer
data/ppl-1.2/tests/Concrete_Expression/digitalfilters1.cc:931: transer ==> transfer
data/ppl-1.2/src/MIP_Problem.cc:1768: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:1770: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:1779: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:1781: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:1850: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:1856: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:1943: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:1960: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:1965: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:1965: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:2090: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:2092: numer ==> number
data/ppl-1.2/src/MIP_Problem.cc:2094: numer ==> number
data/ppl-1.2/src/Polyhedron_chdims.cc:356: nd ==> and, 2nd
data/ppl-1.2/src/Floating_Point_Expression_defs.hh:170: aproximate ==> approximate
data/ppl-1.2/src/checked_float_inlines.hh:913: numer ==> number
data/ppl-1.2/src/checked_float_inlines.hh:916: numer ==> number
data/ppl-1.2/src/checked_float_inlines.hh:918: numer ==> number
data/ppl-1.2/src/checked_float_inlines.hh:920: numer ==> number
data/ppl-1.2/src/Box_defs.hh:1814: numer ==> number
data/ppl-1.2/src/Box_defs.hh:1823: numer ==> number
data/ppl-1.2/src/Box_defs.hh:2225: numer ==> number
data/ppl-1.2/src/Box_defs.hh:2232: numer ==> number
data/ppl-1.2/src/Box_defs.hh:2241: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:127: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:135: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:136: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:137: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:145: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:146: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:158: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:162: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:174: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:178: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:187: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:188: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:195: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:196: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:197: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1076: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1112: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1114: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1130: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1132: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1135: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1435: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1469: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1473: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1504: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1508: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1523: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:1527: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2162: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2186: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2188: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2203: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2205: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2209: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2211: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2292: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2313: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2314: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2320: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2321: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2333: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2339: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2340: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2349: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2356: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2362: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2363: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2372: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2406: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2409: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2416: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2417: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2427: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2430: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2437: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2438: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2450: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2453: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2460: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2461: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2476: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2479: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2485: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2486: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2496: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2499: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2506: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2507: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2519: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2522: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2528: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_templates.hh:2529: numer ==> number
data/ppl-1.2/src/MIP_Problem_defs.hh:407: numer ==> number
data/ppl-1.2/src/MIP_Problem_defs.hh:413: numer ==> number
data/ppl-1.2/src/MIP_Problem_defs.hh:424: numer ==> number
data/ppl-1.2/src/MIP_Problem_defs.hh:443: numer ==> number
data/ppl-1.2/src/MIP_Problem_defs.hh:444: numer ==> number
data/ppl-1.2/src/MIP_Problem_defs.hh:451: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_inlines.hh:422: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_inlines.hh:432: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_inlines.hh:559: nd ==> and, 2nd
data/ppl-1.2/src/Octagonal_Shape_defs.hh:2020: numer ==> number
data/ppl-1.2/src/Octagonal_Shape_defs.hh:2023: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:285: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:293: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:294: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:305: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:306: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:313: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:314: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:382: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:398: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:399: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:404: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:405: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:862: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:886: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:889: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:906: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:912: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1691: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1693: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1695: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1710: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1712: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1714: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1718: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1720: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1792: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1807: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1809: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1814: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1824: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1826: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1831: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1850: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:1855: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:2228: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:2252: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:2264: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:2277: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:2289: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:2345: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:2346: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6507: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6526: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6527: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6532: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6533: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6544: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6545: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6548: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6549: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6560: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6561: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6564: numer ==> number
data/ppl-1.2/src/BD_Shape_templates.hh:6565: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:10579: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:10582: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:10584: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:10586: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23108: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23110: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23116: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23124: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23127: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23130: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23136: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23144: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23916: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23921: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23922: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23926: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23931: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:23932: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:26928: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:27027: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:27033: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:38810: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:38819: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:39221: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:39228: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:39237: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:42493: possibile ==> possible
data/ppl-1.2/src/ppl.hh.dist:45438: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:45442: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:45447: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:45479: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:45484: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:50998: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:51001: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:51064: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:51142: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:51151: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:52067: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:52073: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:52084: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:52103: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:52104: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:52111: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:52755: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:52757: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:53263: aproximate ==> approximate
data/ppl-1.2/src/ppl.hh.dist:54814: succeded ==> succeeded
data/ppl-1.2/src/ppl.hh.dist:54828: succeded ==> succeeded
data/ppl-1.2/src/ppl.hh.dist:54849: succeded ==> succeeded
data/ppl-1.2/src/ppl.hh.dist:55142: Constrant ==> Constraint
data/ppl-1.2/src/ppl.hh.dist:64924: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:64926: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:69293: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:69296: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:70573: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:70583: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:70710: nd ==> and, 2nd
data/ppl-1.2/src/ppl.hh.dist:71181: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71189: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71190: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71191: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71199: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71200: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71212: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71216: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71228: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71232: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71241: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71242: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71249: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71250: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:71251: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72130: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72166: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72168: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72184: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72186: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72189: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72489: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72523: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72527: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72558: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72562: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72577: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:72581: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73216: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73240: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73242: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73257: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73259: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73263: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73265: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73346: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73367: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73368: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73374: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73375: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73387: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73393: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73394: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73403: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73410: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73416: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73417: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73426: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73460: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73463: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73470: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73471: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73481: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73484: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73491: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73492: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73504: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73507: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73514: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73515: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73530: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73533: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73539: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73540: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73550: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73553: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73560: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73561: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73573: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73576: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73582: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:73583: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80340: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80346: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80409: nd ==> and, 2nd
data/ppl-1.2/src/ppl.hh.dist:80832: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80840: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80841: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80852: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80853: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80860: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80861: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80929: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80945: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80946: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80951: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:80952: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:81409: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:81433: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:81436: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:81453: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:81459: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82238: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82240: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82242: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82257: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82259: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82261: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82265: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82267: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82339: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82354: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82356: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82361: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82371: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82373: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82378: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82397: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82402: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82775: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82799: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82811: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82824: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82836: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82892: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:82893: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87054: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87073: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87074: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87079: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87080: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87091: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87092: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87095: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87096: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87107: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87108: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87111: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:87112: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:88266: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:88274: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:88833: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:88899: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:88900: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:88901: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:89188: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:89203: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:89206: numer ==> number
data/ppl-1.2/src/ppl.hh.dist:89882: nd ==> and, 2nd
data/ppl-1.2/src/ppl.hh.dist:107479: occuring ==> occurring
data/ppl-1.2/src/ppl.hh.dist:107764: occuring ==> occurring
data/ppl-1.2/src/ppl.hh.dist:108081: occuring ==> occurring
data/ppl-1.2/src/ppl.hh.dist:108447: occuring ==> occurring
data/ppl-1.2/src/ppl.hh.dist:108720: occuring ==> occurring
data/ppl-1.2/src/CO_Tree_defs.hh:1035: numer ==> number
data/ppl-1.2/src/CO_Tree_defs.hh:1037: numer ==> number
data/ppl-1.2/src/CO_Tree_defs.hh:1043: numer ==> number
data/ppl-1.2/src/CO_Tree_defs.hh:1051: numer ==> number
data/ppl-1.2/src/CO_Tree_defs.hh:1054: numer ==> number
data/ppl-1.2/src/CO_Tree_defs.hh:1057: numer ==> number
data/ppl-1.2/src/CO_Tree_defs.hh:1063: numer ==> number
data/ppl-1.2/src/CO_Tree_defs.hh:1071: numer ==> number
data/ppl-1.2/src/MIP_Problem_inlines.hh:144: numer ==> number
data/ppl-1.2/src/MIP_Problem_inlines.hh:146: numer ==> number
data/ppl-1.2/src/Polyhedron_minimize_templates.hh:122: Constrant ==> Constraint
data/ppl-1.2/src/Multiplication_Floating_Point_Expression_defs.hh:202: occuring ==> occurring
data/ppl-1.2/src/CREDITS.cc.dist:279: StInG ==> string
data/ppl-1.2/src/CREDITS.cc.dist:418: sting ==> string
data/ppl-1.2/src/Polyhedron_nonpublic.cc:2306: occurr ==> occur
data/ppl-1.2/src/Polyhedron_conversion_templates.hh:797: succeded ==> succeeded
data/ppl-1.2/src/Polyhedron_conversion_templates.hh:811: succeded ==> succeeded
data/ppl-1.2/src/Polyhedron_conversion_templates.hh:832: succeded ==> succeeded
data/ppl-1.2/src/CO_Tree_inlines.hh:308: numer ==> number
data/ppl-1.2/src/CO_Tree_inlines.hh:313: numer ==> number
data/ppl-1.2/src/CO_Tree_inlines.hh:314: numer ==> number
data/ppl-1.2/src/CO_Tree_inlines.hh:318: numer ==> number
data/ppl-1.2/src/CO_Tree_inlines.hh:323: numer ==> number
data/ppl-1.2/src/CO_Tree_inlines.hh:324: numer ==> number
data/ppl-1.2/src/Init.cc:63: nd ==> and, 2nd
data/ppl-1.2/src/Init.cc:72: nd ==> and, 2nd
data/ppl-1.2/src/Init.cc:72: nd ==> and, 2nd
data/ppl-1.2/src/Init.cc:108: nd ==> and, 2nd
data/ppl-1.2/src/Init.cc:119: nd ==> and, 2nd
data/ppl-1.2/src/Division_Floating_Point_Expression_defs.hh:189: occuring ==> occurring
data/ppl-1.2/src/Linear_System_templates.hh:260: possibile ==> possible
data/ppl-1.2/src/Box_templates.hh:647: numer ==> number
data/ppl-1.2/src/Box_templates.hh:655: numer ==> number
data/ppl-1.2/src/Box_templates.hh:1214: numer ==> number
data/ppl-1.2/src/Box_templates.hh:1280: numer ==> number
data/ppl-1.2/src/Box_templates.hh:1281: numer ==> number
data/ppl-1.2/src/Box_templates.hh:1282: numer ==> number
data/ppl-1.2/src/Box_templates.hh:1569: numer ==> number
data/ppl-1.2/src/Box_templates.hh:1584: numer ==> number
data/ppl-1.2/src/Box_templates.hh:1587: numer ==> number
data/ppl-1.2/src/Box_templates.hh:2263: nd ==> and, 2nd
data/ppl-1.2/src/Matrix_defs.hh:122: numer ==> number
data/ppl-1.2/src/Matrix_defs.hh:125: numer ==> number
data/ppl-1.2/src/Matrix_defs.hh:188: numer ==> number
data/ppl-1.2/src/Matrix_defs.hh:266: numer ==> number
data/ppl-1.2/src/Matrix_defs.hh:275: numer ==> number
data/ppl-1.2/src/Grid_public.cc:728: previosly ==> previously
data/ppl-1.2/src/BD_Shape_defs.hh:2178: numer ==> number
data/ppl-1.2/src/BD_Shape_defs.hh:2180: numer ==> number
data/ppl-1.2/src/math_utilities_inlines.hh:53: numer ==> number
data/ppl-1.2/src/math_utilities_inlines.hh:59: numer ==> number
data/ppl-1.2/src/Difference_Floating_Point_Expression_defs.hh:172: occuring ==> occurring
data/ppl-1.2/src/Opposite_Floating_Point_Expression_defs.hh:151: occuring ==> occurring
data/ppl-1.2/src/checked.cc:131: numer ==> number
data/ppl-1.2/src/checked.cc:135: numer ==> number
data/ppl-1.2/src/checked.cc:143: numer ==> number
data/ppl-1.2/src/checked.cc:144: numer ==> number
data/ppl-1.2/src/checked.cc:145: numer ==> number
data/ppl-1.2/src/checked.cc:146: numer ==> number
data/ppl-1.2/src/checked.cc:147: numer ==> number
data/ppl-1.2/src/checked.cc:148: numer ==> number
data/ppl-1.2/src/checked.cc:157: numer ==> number
data/ppl-1.2/src/checked.cc:206: numer ==> number
data/ppl-1.2/src/checked.cc:215: numer ==> number
data/ppl-1.2/src/checked.cc:216: numer ==> number
data/ppl-1.2/src/checked.cc:231: numer ==> number
data/ppl-1.2/src/checked.cc:232: numer ==> number
data/ppl-1.2/src/checked.cc:244: numer ==> number
data/ppl-1.2/src/checked.cc:246: numer ==> number
data/ppl-1.2/src/checked.cc:246: numer ==> number
data/ppl-1.2/src/checked.cc:247: numer ==> number
data/ppl-1.2/src/checked.cc:247: numer ==> number
data/ppl-1.2/src/checked.cc:248: numer ==> number
data/ppl-1.2/src/checked.cc:252: numer ==> number
data/ppl-1.2/src/checked.cc:255: numer ==> number
data/ppl-1.2/src/checked.cc:255: numer ==> number
data/ppl-1.2/src/checked.cc:256: numer ==> number
data/ppl-1.2/src/checked.cc:263: numer ==> number
data/ppl-1.2/src/checked.cc:264: numer ==> number
data/ppl-1.2/src/checked.cc:265: numer ==> number
data/ppl-1.2/src/checked.cc:277: numer ==> number
data/ppl-1.2/src/checked.cc:279: numer ==> number
data/ppl-1.2/src/checked.cc:280: numer ==> number
data/ppl-1.2/src/checked.cc:293: numer ==> number
data/ppl-1.2/src/checked.cc:294: numer ==> number
data/ppl-1.2/src/checked.cc:311: numer ==> number
data/ppl-1.2/src/checked.cc:313: numer ==> number
data/ppl-1.2/src/checked.cc:314: numer ==> number
data/ppl-1.2/src/checked.cc:319: numer ==> number
data/ppl-1.2/src/checked.cc:333: numer ==> number
data/ppl-1.2/src/checked.cc:334: numer ==> number
data/ppl-1.2/src/checked.cc:337: numer ==> number
data/ppl-1.2/src/checked.cc:337: numer ==> number
data/ppl-1.2/src/checked.cc:355: numer ==> number
data/ppl-1.2/src/checked.cc:356: numer ==> number
data/ppl-1.2/src/checked.cc:360: numer ==> number
data/ppl-1.2/src/checked.cc:369: numer ==> number
data/ppl-1.2/src/checked.cc:369: numer ==> number
data/ppl-1.2/src/checked.cc:380: numer ==> number
data/ppl-1.2/src/checked.cc:385: numer ==> number
data/ppl-1.2/src/checked.cc:387: numer ==> number
data/ppl-1.2/src/checked.cc:410: numer ==> number
data/ppl-1.2/src/checked.cc:411: numer ==> number
data/ppl-1.2/src/checked.cc:412: numer ==> number
data/ppl-1.2/src/checked.cc:412: numer ==> number
data/ppl-1.2/src/checked.cc:414: numer ==> number
data/ppl-1.2/src/checked.cc:416: numer ==> number
data/ppl-1.2/src/checked.cc:417: numer ==> number
data/ppl-1.2/src/checked.cc:448: numer ==> number
data/ppl-1.2/src/checked.cc:450: numer ==> number
data/ppl-1.2/src/checked.cc:454: numer ==> number
data/ppl-1.2/src/checked.cc:454: numer ==> number
data/ppl-1.2/src/checked.cc:469: numer ==> number
data/ppl-1.2/src/checked.cc:469: numer ==> number
data/ppl-1.2/src/checked.cc:476: numer ==> number
data/ppl-1.2/src/checked.cc:476: numer ==> number
data/ppl-1.2/src/checked.cc:487: numer ==> number
data/ppl-1.2/src/checked.cc:487: numer ==> number
data/ppl-1.2/src/checked.cc:501: numer ==> number
data/ppl-1.2/src/checked.cc:501: numer ==> number
data/ppl-1.2/src/math_utilities_defs.hh:39: numer ==> number
data/ppl-1.2/src/termination.cc:179: ot ==> to, of, or
data/ppl-1.2/src/Box_inlines.hh:403: numer ==> number
data/ppl-1.2/src/Box_inlines.hh:407: numer ==> number
data/ppl-1.2/src/Box_inlines.hh:412: numer ==> number
data/ppl-1.2/src/Box_inlines.hh:444: numer ==> number
data/ppl-1.2/src/Box_inlines.hh:449: numer ==> number
data/ppl-1.2/src/BD_Shape_inlines.hh:716: numer ==> number
data/ppl-1.2/src/BD_Shape_inlines.hh:722: numer ==> number
data/ppl-1.2/src/BD_Shape_inlines.hh:785: nd ==> and, 2nd
data/ppl-1.2/src/Sum_Floating_Point_Expression_defs.hh:166: occuring ==> occurring
data/ppl-1.2/src/Grid_chdims.cc:321: nd ==> and, 2nd
data/ppl-1.2/debian/changelog:345: reliablity ==> reliability
data/ppl-1.2/debian/changelog:530: dont't ==> don't