summaryrefslogtreecommitdiff
path: root/lex
ModeNameSize
-rw-r--r--common.ml5389logplain
-rw-r--r--common.mli1737logplain
-rw-r--r--compact.ml7503logplain
-rw-r--r--compact.mli1941logplain
-rw-r--r--cset.ml2795logplain
-rw-r--r--cset.mli1521logplain
-rw-r--r--lexer.mli1233logplain
-rw-r--r--lexer.mll10999logplain
-rw-r--r--lexgen.ml32387logplain
-rw-r--r--lexgen.mli2218logplain
-rw-r--r--main.ml4590logplain
-rw-r--r--main.mli1189logplain
-rw-r--r--output.ml6102logplain
-rw-r--r--output.mli1420logplain
-rw-r--r--outputbis.ml13081logplain
-rw-r--r--outputbis.mli1320logplain
-rw-r--r--parser.mly5648logplain
-rw-r--r--syntax.ml1910logplain
-rw-r--r--syntax.mli1800logplain
-rw-r--r--table.ml1884logplain
-rw-r--r--table.mli1345logplain