aboutsummaryrefslogtreecommitdiff
path: root/lib/configuration
ModeNameSize
-rw-r--r--cte.ml1519logplain
-rw-r--r--cte.mli792logplain
-rwxr-xr-xdune553logplain
-rw-r--r--expression_lexer.mll2613logplain
-rw-r--r--expression_parser.messages4034logplain
-rw-r--r--expression_parser.mly4577logplain
-rw-r--r--importConf.ml1946logplain
-rw-r--r--importConf.mli617logplain
-rw-r--r--read_conf.ml9702logplain
-rw-r--r--syntax.ml2263logplain