aboutsummaryrefslogtreecommitdiffhomepage
path: root/translate
ModeNameSize
-rw-r--r--ppconstrnew.ml19997logplain
-rw-r--r--ppconstrnew.mli2493logplain
-rw-r--r--pptacticnew.ml19842logplain
-rw-r--r--pptacticnew.mli800logplain
-rw-r--r--ppvernacnew.ml42831logplain
-rw-r--r--ppvernacnew.mli819logplain