data/proofgeneral-4.4.1~pre170114/CHANGES:530: wether ==> weather, whether
data/proofgeneral-4.4.1~pre170114/FAQ.md:131: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/INSTALL:60: COMPATIBILTY ==> COMPATIBILITY
data/proofgeneral-4.4.1~pre170114/Makefile:100: commiting ==> committing
data/proofgeneral-4.4.1~pre170114/Makefile:118: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: IHs ==> his
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:1: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:29: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:33: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:35: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt:35: freeE ==> free
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/matlab_interaction.el:65: ans ==> and
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/matlab_interaction.el:71: ans ==> and
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/views.txt:1: IHs ==> his
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/views.txt:1: mapP ==> map
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/views.txt:1: mapP ==> map
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/vector_names:126: freeE ==> free
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/seq_names:319: mapP ==> map
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/ssrnat_names:7: plusE ==> pulse
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: IHs ==> his
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:1: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:29: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:33: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:35: nax ==> max, nad
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt:35: freeE ==> free
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/matlab_interaction.el:43: ans ==> and
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/matlab_interaction.el:49: ans ==> and
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/views.txt:1: IHs ==> his
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/views.txt:1: mapP ==> map
data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/views.txt:1: mapP ==> map
data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-cmds.el:85: nNumber ==> number
data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-vars.el:636: modifer ==> modifier
data/proofgeneral-4.4.1~pre170114/coq/README:42: availabe ==> available
data/proofgeneral-4.4.1~pre170114/coq/TODO:10: indention ==> indentation
data/proofgeneral-4.4.1~pre170114/coq/coq-abbrev.el:89: currenly ==> currently
data/proofgeneral-4.4.1~pre170114/coq/coq-compile-common.el:262: prefered ==> preferred
data/proofgeneral-4.4.1~pre170114/coq/coq-indent.el:144: usefull ==> useful
data/proofgeneral-4.4.1~pre170114/coq/coq-indent.el:366: swith ==> switch
data/proofgeneral-4.4.1~pre170114/coq/coq-indent.el:421: swith ==> switch
data/proofgeneral-4.4.1~pre170114/coq/coq-indent.el:497: nd ==> and, 2nd
data/proofgeneral-4.4.1~pre170114/coq/coq-indent.el:500: nd ==> and, 2nd
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:118: propery ==> property, properly
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:520: occurence ==> occurrence
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:619: funtion ==> function
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:955: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:956: DEPENDANT ==> DEPENDENT
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:957: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:958: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:959: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:962: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:964: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:965: DEPENDANT ==> DEPENDENT
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:966: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:969: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:970: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:973: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:985: Indepent ==> Independent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1199: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1201: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1242: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1243: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1247: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1251: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1251: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1252: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1276: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1303: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1305: DEPENDANT ==> DEPENDENT
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1307: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1308: DEPENDANT ==> DEPENDENT
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1312: DEPENDANT ==> DEPENDENT
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1312: DEPENDANT ==> DEPENDENT
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1313: DEPENDANT ==> DEPENDENT
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1316: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1317: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1318: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1319: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1321: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1322: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1323: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1324: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1325: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1326: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1330: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1330: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1331: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1333: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1334: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1335: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1337: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1338: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1385: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1386: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1387: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1390: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1395: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1491: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1504: DEPENDANT ==> DEPENDENT
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1506: scriping ==> scripting
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1526: implicitely ==> implicitly
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1554: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1573: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1575: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1590: dependees ==> dependencies
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1660: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1661: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1671: sate ==> state
data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el:1892: splitted ==> split
data/proofgeneral-4.4.1~pre170114/coq/coq-par-test.el:789: wth ==> with
data/proofgeneral-4.4.1~pre170114/coq/coq-seq-compile.el:66: funtion ==> function
data/proofgeneral-4.4.1~pre170114/coq/coq-seq-compile.el:161: precisision ==> precision
data/proofgeneral-4.4.1~pre170114/coq/coq-smie.el:15: deambiguate ==> disambiguate
data/proofgeneral-4.4.1~pre170114/coq/coq-smie.el:71: debuging ==> debugging
data/proofgeneral-4.4.1~pre170114/coq/coq-smie.el:306: potentialy ==> potentially
data/proofgeneral-4.4.1~pre170114/coq/coq-smie.el:712: serie ==> series
data/proofgeneral-4.4.1~pre170114/coq/coq-smie.el:825: bloc ==> block
data/proofgeneral-4.4.1~pre170114/coq/coq-smie.el:850: bloc ==> block
data/proofgeneral-4.4.1~pre170114/coq/coq-smie.el:915: Defintion ==> Definition
data/proofgeneral-4.4.1~pre170114/coq/coq-smie.el:1050: fo ==> of, for
data/proofgeneral-4.4.1~pre170114/coq/coq-syntax.el:917: fo ==> of, for
data/proofgeneral-4.4.1~pre170114/coq/coq-syntax.el:961: definit ==> definite
data/proofgeneral-4.4.1~pre170114/coq/coq-syntax.el:962: fonction ==> function
data/proofgeneral-4.4.1~pre170114/coq/coq-syntax.el:971: fonction ==> function
data/proofgeneral-4.4.1~pre170114/coq/coq-syntax.el:1303: pres ==> press
data/proofgeneral-4.4.1~pre170114/coq/coq-syntax.el:1383: consituent ==> constituent
data/proofgeneral-4.4.1~pre170114/coq/coq-system.el:424: developpement ==> development
data/proofgeneral-4.4.1~pre170114/coq/coq.el:275: interacive ==> interactive
data/proofgeneral-4.4.1~pre170114/coq/coq.el:455: acutally ==> actually
data/proofgeneral-4.4.1~pre170114/coq/coq.el:496: swith ==> switch
data/proofgeneral-4.4.1~pre170114/coq/coq.el:506: respnse ==> response
data/proofgeneral-4.4.1~pre170114/coq/coq.el:578: informations ==> information
data/proofgeneral-4.4.1~pre170114/coq/coq.el:650: promt ==> prompt
data/proofgeneral-4.4.1~pre170114/coq/coq.el:707: exemple ==> example
data/proofgeneral-4.4.1~pre170114/coq/coq.el:723: ans ==> and
data/proofgeneral-4.4.1~pre170114/coq/coq.el:891: Wether ==> Weather, whether
data/proofgeneral-4.4.1~pre170114/coq/coq.el:928: containt ==> contain, content
data/proofgeneral-4.4.1~pre170114/coq/coq.el:1045: optionaly ==> optionally
data/proofgeneral-4.4.1~pre170114/coq/coq.el:1204: retored ==> restored
data/proofgeneral-4.4.1~pre170114/coq/coq.el:1294: mimick ==> mimic
data/proofgeneral-4.4.1~pre170114/coq/coq.el:1383: agian ==> again
data/proofgeneral-4.4.1~pre170114/coq/coq.el:1400: explicitely ==> explicitly
data/proofgeneral-4.4.1~pre170114/coq/coq.el:1425: arount ==> around
data/proofgeneral-4.4.1~pre170114/coq/coq.el:1503: defninition ==> definition
data/proofgeneral-4.4.1~pre170114/coq/coq.el:1534: saveing ==> saving
data/proofgeneral-4.4.1~pre170114/coq/coq.el:2004: enableing ==> enabling
data/proofgeneral-4.4.1~pre170114/coq/coq.el:2682: thant ==> than
data/proofgeneral-4.4.1~pre170114/coq/faq:12: develpment ==> development
data/proofgeneral-4.4.1~pre170114/coq/faq:44: varaiables ==> variables
data/proofgeneral-4.4.1~pre170114/coq/faq:187: theshold ==> threshold
data/proofgeneral-4.4.1~pre170114/coq/ex/ex-ssreflect.v:1: hightlight ==> highlight
data/proofgeneral-4.4.1~pre170114/doc/PG-adapting.texi:1534: surpressed ==> suppressed
data/proofgeneral-4.4.1~pre170114/doc/PG-adapting.texi:1566: configuraton ==> configuration
data/proofgeneral-4.4.1~pre170114/doc/PG-adapting.texi:1693: supress ==> suppress
data/proofgeneral-4.4.1~pre170114/doc/PG-adapting.texi:1712: hilight ==> highlight
data/proofgeneral-4.4.1~pre170114/doc/PG-adapting.texi:2111: wee ==> we
data/proofgeneral-4.4.1~pre170114/doc/PG-adapting.texi:3267: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/doc/PG-adapting.texi:3559: co-ordinate ==> coordinate
data/proofgeneral-4.4.1~pre170114/doc/PG-adapting.texi:3853: surpressed ==> suppressed
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:458: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:605: hilighting ==> highlighting
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:620: loosing ==> losing
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:936: everytime ==> every time
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:1619: reponse ==> response
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:1919: higlight ==> highlight
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:2265: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:2715: controling ==> controlling
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:3457: reponse ==> response
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:4423: developpement ==> development
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:5065: syncronization ==> synchronization
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:5232: runnning ==> running
data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi:6070: cummulative ==> cumulative
data/proofgeneral-4.4.1~pre170114/etc/cvs-tips.txt:71: conficts ==> conflicts
data/proofgeneral-4.4.1~pre170114/etc/cvs-tips.txt:82: overide ==> override
data/proofgeneral-4.4.1~pre170114/etc/development-tips.txt:35: ususally ==> usually
data/proofgeneral-4.4.1~pre170114/etc/coq/nested.v:19: sould ==> could, should, sold
data/proofgeneral-4.4.1~pre170114/etc/coq/parsingdot.v:49: commited ==> committed
data/proofgeneral-4.4.1~pre170114/etc/coq/queryreplace.v:12: stange ==> strange
data/proofgeneral-4.4.1~pre170114/etc/coq/queryreplace.v:42: occurences ==> occurrences
data/proofgeneral-4.4.1~pre170114/etc/isar/BackslashInStrings.thy:40: trys ==> tries
data/proofgeneral-4.4.1~pre170114/etc/isar/XEmacsSyntacticContextProb.thy:1: procesing ==> processing
data/proofgeneral-4.4.1~pre170114/etc/isar/XSymbolTests.thy:69: Stoping ==> Stopping
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:156: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:156: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:157: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:173: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:173: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:174: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:185: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:185: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:186: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:202: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:202: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:203: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:219: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:219: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:220: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:236: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:236: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:237: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:253: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:253: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:254: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:271: Tre ==> Tree
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:360: syntac ==> syntax
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:490: ond ==> one
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:493: contraint ==> constraint
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:510: nd ==> and, 2nd
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:522: adaptaion ==> adaptation
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:671: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:671: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:672: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:688: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:688: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:689: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:700: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:700: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:701: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:717: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:717: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:718: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:734: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:734: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:735: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:751: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:751: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:752: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:768: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:768: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:769: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:786: Tre ==> Tree
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:875: syntac ==> syntax
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1005: ond ==> one
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1008: contraint ==> constraint
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1025: nd ==> and, 2nd
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1037: adaptaion ==> adaptation
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1186: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1186: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1187: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1203: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1203: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1204: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1215: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1215: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1216: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1232: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1232: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1233: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1249: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1249: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1250: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1266: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1266: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1267: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1283: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1283: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1284: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1301: Tre ==> Tree
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1390: syntac ==> syntax
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1520: ond ==> one
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1523: contraint ==> constraint
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1540: nd ==> and, 2nd
data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt:1552: adaptaion ==> adaptation
data/proofgeneral-4.4.1~pre170114/generic/pg-assoc.el:22: supress ==> suppress
data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el:139: elemets ==> elements
data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el:210: informations ==> information
data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el:222: informations ==> information
data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el:359: Informations ==> Information
data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el:416: arround ==> around
data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el:439: informations ==> information
data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el:456: informations ==> information
data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el:512: follwing ==> following
data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el:538: informations ==> information
data/proofgeneral-4.4.1~pre170114/generic/pg-pgip.el:529: unkown ==> unknown
data/proofgeneral-4.4.1~pre170114/generic/pg-response.el:198: canidate ==> candidate
data/proofgeneral-4.4.1~pre170114/generic/pg-user.el:941: interferring ==> interfering
data/proofgeneral-4.4.1~pre170114/generic/pg-xml.el:52: documment ==> document
data/proofgeneral-4.4.1~pre170114/generic/proof-autoloads.el:69: peices ==> pieces
data/proofgeneral-4.4.1~pre170114/generic/proof-autoloads.el:697: co-ordinate ==> coordinate
data/proofgeneral-4.4.1~pre170114/generic/proof-config.el:1201: hilight ==> highlight
data/proofgeneral-4.4.1~pre170114/generic/proof-config.el:1600: surpressed ==> suppressed
data/proofgeneral-4.4.1~pre170114/generic/proof-config.el:1689: assistent ==> assistant
data/proofgeneral-4.4.1~pre170114/generic/proof-depends.el:210: depencies ==> dependencies
data/proofgeneral-4.4.1~pre170114/generic/proof-menu.el:39: reponse ==> response
data/proofgeneral-4.4.1~pre170114/generic/proof-menu.el:394: commmand ==> command
data/proofgeneral-4.4.1~pre170114/generic/proof-menu.el:502: processsing ==> processing
data/proofgeneral-4.4.1~pre170114/generic/proof-menu.el:650: reseting ==> resetting
data/proofgeneral-4.4.1~pre170114/generic/proof-menu.el:952: deffered ==> differed, deferred
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:830: co-ordinate ==> coordinate
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:910: co-ordinate ==> coordinate
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:954: co-ordinate ==> coordinate
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:1388: superseeded ==> superseded
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:1511: desparate ==> desperate, disparate
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:1654: suprisingly ==> surprisingly
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:1731: undertand ==> understand
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:2144: relevent ==> relevant
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:2286: overriden ==> overridden
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:2516: ans ==> and
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:2518: ans ==> and
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:2530: ans ==> and
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:2532: ans ==> and
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:2532: ans ==> and
data/proofgeneral-4.4.1~pre170114/generic/proof-script.el:2619: straightaway ==> straight away
data/proofgeneral-4.4.1~pre170114/generic/proof-shell.el:25: recusive ==> recursive, reclusive
data/proofgeneral-4.4.1~pre170114/generic/proof-shell.el:84: surpressed ==> suppressed
data/proofgeneral-4.4.1~pre170114/generic/proof-shell.el:343: homogenous ==> homogeneous
data/proofgeneral-4.4.1~pre170114/generic/proof-shell.el:352: outputing ==> outputting
data/proofgeneral-4.4.1~pre170114/generic/proof-shell.el:1276: visting ==> visiting
data/proofgeneral-4.4.1~pre170114/generic/proof-shell.el:1986: intitialization ==> initialization
data/proofgeneral-4.4.1~pre170114/generic/proof-splash.el:41: wee ==> we
data/proofgeneral-4.4.1~pre170114/generic/proof-syntax.el:199: commata ==> commas
data/proofgeneral-4.4.1~pre170114/generic/proof-tree.el:83: variabes ==> variables
data/proofgeneral-4.4.1~pre170114/generic/proof-tree.el:141: focusses ==> focuses
data/proofgeneral-4.4.1~pre170114/generic/proof-tree.el:321: preceeding ==> preceding, proceeding
data/proofgeneral-4.4.1~pre170114/generic/proof-tree.el:1211: outputing ==> outputting
data/proofgeneral-4.4.1~pre170114/generic/proof-utils.el:167: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/generic/proof-utils.el:373: specifiy ==> specify
data/proofgeneral-4.4.1~pre170114/generic/proof-utils.el:457: habbit ==> habit
data/proofgeneral-4.4.1~pre170114/generic/proof-site.el:190: dne ==> done
data/proofgeneral-4.4.1~pre170114/generic/proof-site.el:192: dne ==> done
data/proofgeneral-4.4.1~pre170114/generic/proof-site.el:194: dne ==> done
data/proofgeneral-4.4.1~pre170114/generic/proof-site.el:238: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/hol-light/pg_tactics.ml:171: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/pg_tactics.ml:173: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/pg_tactics.ml:185: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/pg_tactics.ml:186: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/pg_tactics.ml:186: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/pg_tactics.ml:191: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/pg_tactics.ml:192: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/pg_tactics.ml:192: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/biolayout.ml:6: Univeristy ==> University
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/gvexport.ml:6: Univeristy ==> University
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/hiproofs.ml:6: Univeristy ==> University
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/mlexport.ml:6: Univeristy ==> University
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/printutils.ml:6: Univeristy ==> University
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/promote.ml:6: Univeristy ==> University
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/tacticrec.ml:6: Univeristy ==> University
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/tacticrec.ml:13: correspoding ==> corresponding
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml:6: Univeristy ==> University
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml:83: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml:85: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml:144: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml:147: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml:245: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml:246: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml:280: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml:282: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:105: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:106: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:120: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:121: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:132: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:133: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:290: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:291: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:335: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:337: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:349: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:350: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:350: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:355: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:356: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:356: ths ==> the, this
data/proofgeneral-4.4.1~pre170114/isar/isar.el:441: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:444: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:455: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:461: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:466: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:470: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:471: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:471: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:484: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:485: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:495: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:498: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:499: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:537: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:549: ans ==> and
data/proofgeneral-4.4.1~pre170114/isar/isar.el:551: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/BUGS:14: commata ==> commas
data/proofgeneral-4.4.1~pre170114/lego/BUGS:14: commata ==> commas
data/proofgeneral-4.4.1~pre170114/lego/README:4: maintainance ==> maintenance
data/proofgeneral-4.4.1~pre170114/lego/lego-syntax.el:21: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/lego/lego-syntax.el:46: commata ==> commas
data/proofgeneral-4.4.1~pre170114/lego/lego-syntax.el:49: maching ==> machine, marching, matching
data/proofgeneral-4.4.1~pre170114/lego/lego.el:122: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/lego/lego.el:198: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:199: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:210: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:213: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:218: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:221: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:225: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:229: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:233: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:233: ans ==> and
data/proofgeneral-4.4.1~pre170114/lego/lego.el:233: ans ==> and
data/proofgeneral-4.4.1~pre170114/lib/bufhist.el:75: Poistion ==> Position
data/proofgeneral-4.4.1~pre170114/lib/bufhist.el:90: hist ==> heist, his
data/proofgeneral-4.4.1~pre170114/lib/bufhist.el:99: hist ==> heist, his
data/proofgeneral-4.4.1~pre170114/lib/holes.el:173: acitve ==> active
data/proofgeneral-4.4.1~pre170114/lib/holes.el:177: acitve ==> active
data/proofgeneral-4.4.1~pre170114/lib/holes.el:410: wont ==> won't
data/proofgeneral-4.4.1~pre170114/lib/holes.el:455: supresses ==> suppresses
data/proofgeneral-4.4.1~pre170114/lib/holes.el:575: occurences ==> occurrences
data/proofgeneral-4.4.1~pre170114/lib/holes.el:643: peices ==> pieces
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:975: TE ==> THE, BE, WE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:1007: TE ==> THE, BE, WE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:1067: OT ==> TO, OF, OR
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:1068: OT ==> TO, OF, OR
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:1112: TE ==> THE, BE, WE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:1113: TE ==> THE, BE, WE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:1120: TE ==> THE, BE, WE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:1121: TE ==> THE, BE, WE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3483: TE ==> THE, BE, WE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3493: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3577: TE ==> THE, BE, WE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3587: BA ==> BY, BE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3645: VEW ==> VIEW
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3946: TEH ==> THE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3947: TEH ==> THE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3948: TEH ==> THE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3949: TEH ==> THE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3950: TEH ==> THE
data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el:3951: TEH ==> THE
data/proofgeneral-4.4.1~pre170114/lib/unicode-tokens.el:137: fomatted ==> formatted
data/proofgeneral-4.4.1~pre170114/lib/unicode-tokens.el:144: fomatted ==> formatted
data/proofgeneral-4.4.1~pre170114/lib/unicode-tokens.el:159: begining ==> beginning
data/proofgeneral-4.4.1~pre170114/lib/unicode-tokens.el:599: supresses ==> suppresses
data/proofgeneral-4.4.1~pre170114/lib/unicode-tokens.el:1034: Hilight ==> Highlight
data/proofgeneral-4.4.1~pre170114/lib/unicode-tokens.el:1450: Hightlight ==> Highlight
data/proofgeneral-4.4.1~pre170114/obsolete/plastic/plastic-syntax.el:24: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/obsolete/plastic/plastic-syntax.el:50: commata ==> commas
data/proofgeneral-4.4.1~pre170114/obsolete/plastic/plastic-syntax.el:53: maching ==> machine, marching, matching
data/proofgeneral-4.4.1~pre170114/obsolete/plastic/plastic.el:155: allE ==> all, alley
data/proofgeneral-4.4.1~pre170114/obsolete/plastic/test.lf:31: fo ==> of, for
data/proofgeneral-4.4.1~pre170114/obsolete/plastic/test.lf:32: fo ==> of, for
data/proofgeneral-4.4.1~pre170114/phox/phox-font.el:31: clude ==> clued, clue
data/proofgeneral-4.4.1~pre170114/phox/phox-font.el:35: earch ==> search, each
data/proofgeneral-4.4.1~pre170114/phox/phox-font.el:41: nd ==> and, 2nd
data/proofgeneral-4.4.1~pre170114/phox/phox-pbrpm.el:7: dependant ==> dependent
data/proofgeneral-4.4.1~pre170114/phox/phox-pbrpm.el:40: Retrun ==> Return
data/proofgeneral-4.4.1~pre170114/phox/phox-pbrpm.el:47: Retrun ==> Return
data/proofgeneral-4.4.1~pre170114/phox/phox-pbrpm.el:104: informations ==> information
data/proofgeneral-4.4.1~pre170114/twelf/example.elf:10: ND ==> AND, 2ND
data/proofgeneral-4.4.1~pre170114/twelf/twelf-font.el:352: consective ==> consecutive
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:155: implementated ==> implemented
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:236: focusses ==> focuses
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:522: consective ==> consecutive
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:714: usally ==> usually
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:780: PARM ==> PARAM, PRAM, PARMA
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:781: PARM ==> PARAM, PRAM, PARMA
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:782: PARM ==> PARAM, PRAM, PARMA
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:785: PARM ==> PARAM, PRAM, PARMA
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:786: PARM ==> PARAM, PRAM, PARMA
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1300: Nontheless ==> Nonetheless
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1883: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1884: PARM ==> PARAM, PRAM, PARMA
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1888: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1890: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1892: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1893: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1894: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1896: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1897: PARM ==> PARAM, PRAM, PARMA
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1899: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1903: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1905: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1907: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1908: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1922: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1923: PARM ==> PARAM, PRAM, PARMA
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1924: promts ==> prompts
data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el:1926: parm ==> param, pram, parma
data/proofgeneral-4.4.1~pre170114/twelf/twelf.el:33: Infor ==> Info
data/proofgeneral-4.4.1~pre170114/twelf/twelf.el:196: implict ==> implicit
data/proofgeneral-4.4.1~pre170114/debian/changelog:8: Gard ==> Guard
data/proofgeneral-4.4.1~pre170114/debian/changelog:73: transtion ==> transition
data/proofgeneral-4.4.1~pre170114/debian/changelog:329: wether ==> weather, whether
data/proofgeneral-4.4.1~pre170114/debian/copyright:44: synching ==> syncing
data/proofgeneral-4.4.1~pre170114/debian/copyright:304: MERCHANTIBILITY ==> MERCHANTABILITY
data/proofgeneral-4.4.1~pre170114/debian/emacsen-install:73: determinded ==> determined
data/proofgeneral-4.4.1~pre170114/debian/patches/smartly-enable-prooftree.patch:1: reenable ==> re-enable
data/proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile:100: commiting ==> committing
data/proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile:118: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/generic/proof-site.el:182: dne ==> done
data/proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/generic/proof-site.el:184: dne ==> done
data/proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/generic/proof-site.el:186: dne ==> done
data/proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/generic/proof-site.el:230: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile:100: commiting ==> committing
data/proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile:118: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile:100: commiting ==> committing
data/proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile:118: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile:100: commiting ==> committing
data/proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile:118: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile:100: commiting ==> committing
data/proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile:118: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile:100: commiting ==> committing
data/proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile:118: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile:100: commiting ==> committing
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile:118: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:458: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:605: hilighting ==> highlighting
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:620: loosing ==> losing
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:930: everytime ==> every time
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:1613: reponse ==> response
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:1913: higlight ==> highlight
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:2259: accidently ==> accidentally
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:2709: controling ==> controlling
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:3451: reponse ==> response
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:4417: developpement ==> development
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:5059: syncronization ==> synchronization
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:5226: runnning ==> running
data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi:6064: cummulative ==> cumulative
data/proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile:100: commiting ==> committing
data/proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile:118: accidently ==> accidentally