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