aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel
ModeNameSize
-rw-r--r--citation.ml1282logplainblame
-rw-r--r--citation.mli410logplainblame
-rw-r--r--colour.ml575logplainblame
-rw-r--r--colour.mli206logplainblame
-rw-r--r--computus.ml1440logplainblame
-rw-r--r--computus.mli828logplainblame
-rw-r--r--date.ml3073logplainblame
-rw-r--r--date.mli1384logplainblame
-rw-r--r--date_spec.ml1947logplainblame
-rw-r--r--date_spec.mli495logplainblame
-rw-r--r--dune90logplainblame
-rw-r--r--lang.ml833logplainblame
-rw-r--r--lang.mli394logplainblame
-rw-r--r--names.ml1384logplainblame
-rw-r--r--names.mli687logplainblame
-rw-r--r--slug.ml1138logplainblame
-rw-r--r--slug.mli531logplainblame
-rw-r--r--subject.ml491logplainblame
-rw-r--r--subject.mli218logplainblame