aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel
ModeNameSize
-rw-r--r--calendar.ml35438logplainblame
-rw-r--r--calendar.mli4698logplainblame
-rw-r--r--celebration.ml1273logplainblame
-rw-r--r--celebration.mli1325logplainblame
-rw-r--r--citation.ml768logplainblame
-rw-r--r--citation.mli335logplainblame
-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.ml6357logplainblame
-rw-r--r--date_spec.mli2273logplainblame
-rw-r--r--dune90logplainblame
-rw-r--r--lang.ml833logplainblame
-rw-r--r--lang.mli394logplainblame
-rw-r--r--layer.ml4989logplainblame
-rw-r--r--layer.mli2091logplainblame
-rw-r--r--lectionary.ml2037logplainblame
-rw-r--r--lectionary.mli856logplainblame
-rw-r--r--liturgical_day.ml1295logplainblame
-rw-r--r--liturgical_day.mli1744logplainblame
-rw-r--r--names.ml1017logplainblame
-rw-r--r--names.mli612logplainblame
-rw-r--r--overlay.ml7211logplainblame
-rw-r--r--overlay.mli1443logplainblame
-rw-r--r--overlay_ini.ml13260logplainblame
-rw-r--r--overlay_ini.mli3344logplainblame
-rw-r--r--precedence.ml4270logplainblame
-rw-r--r--precedence.mli8610logplainblame
-rw-r--r--record.ml1950logplainblame
-rw-r--r--record.mli680logplainblame
-rw-r--r--rite.ml747logplainblame
-rw-r--r--rite.mli4968logplainblame
-rw-r--r--sexp_error.ml7134logplainblame
-rw-r--r--sexp_error.mli144logplainblame
-rw-r--r--slug.ml1483logplainblame
-rw-r--r--slug.mli531logplainblame
-rw-r--r--subject.ml491logplainblame
-rw-r--r--subject.mli218logplainblame
-rw-r--r--temporal.ml826logplainblame
-rw-r--r--temporal.mli1006logplainblame
-rw-r--r--validate.ml26187logplainblame
-rw-r--r--validate.mli6917logplainblame
-rw-r--r--vocab.ml2222logplainblame
-rw-r--r--vocab.mli2222logplainblame
generated by cgit v1.3 (git 2.53.0) at 2026-09-19 16:59:38 +0000