aboutsummaryrefslogtreecommitdiffhomepage
path: root/printing
ModeNameSize
-rw-r--r--genprint.ml1635logplain
-rw-r--r--genprint.mli1265logplain
-rw-r--r--miscprint.ml1892logplain
-rw-r--r--miscprint.mli978logplain
-rw-r--r--ppannotation.ml1610logplain
-rw-r--r--ppannotation.mli1262logplain
-rw-r--r--ppconstr.ml27080logplain
-rw-r--r--ppconstr.mli1015logplain
-rw-r--r--ppconstrsig.mli3376logplain
-rw-r--r--ppstyle.ml4815logplain
-rw-r--r--ppstyle.mli2562logplain
-rw-r--r--pptactic.ml56166logplain
-rw-r--r--pptactic.mli2139logplain
-rw-r--r--pptacticsig.mli3523logplain
-rw-r--r--pputils.ml702logplain
-rw-r--r--pputils.mli665logplain
-rw-r--r--ppvernac.ml49159logplain
-rw-r--r--ppvernac.mli1014logplain
-rw-r--r--ppvernacsig.mli773logplain
-rw-r--r--prettyp.ml29766logplain
-rw-r--r--prettyp.mli3396logplain
-rw-r--r--printer.ml26306logplain
-rw-r--r--printer.mli7440logplain
-rw-r--r--printing.mllib138logplain
-rw-r--r--printmod.ml15608logplain
-rw-r--r--printmod.mli666logplain
-rw-r--r--printmodsig.mli791logplain
-rw-r--r--richprinter.ml694logplain
-rw-r--r--richprinter.mli1880logplain