[prologix] typos

[tek] typos

(0) -30 -2 +2 +10 tip

mercurial