aboutsummaryrefslogtreecommitdiffhomepage
path: root/translate
ModeNameSize
-rw-r--r--ppconstrnew.ml19202logplain
-rw-r--r--ppconstrnew.mli2215logplain
-rw-r--r--pptacticnew.ml19518logplain
-rw-r--r--pptacticnew.mli800logplain
-rw-r--r--ppvernacnew.ml36737logplain
-rw-r--r--ppvernacnew.mli819logplain