data/profisis-1.0.11/profisis:68: strech ==> stretch
data/profisis-1.0.11/profisis:85: strech ==> stretch
data/profisis-1.0.11/profisis:434: strech ==> stretch
data/profisis-1.0.11/ChangeLog:10: succint ==> succinct
data/profisis-1.0.11/examples/3A1P_A.hssp:237: EDN ==> END
data/profisis-1.0.11/examples/3A1P_A.hssp:397: EDE ==> EDGE
data/profisis-1.0.11/examples/3A1P_A.hssp:401: DED ==> DEAD
data/profisis-1.0.11/examples/3A1P_A.hssp:561: DED ==> DEAD
data/profisis-1.0.11/examples/3A1P_A.hssp:591: FPR ==> FOR, FAR, FPS
data/profisis-1.0.11/examples/3A1P_A.profisis:1: strech ==> stretch