summaryrefslogtreecommitdiff
path: root/lex
ModeNameSize
-rw-r--r--.depend1861logplain
-rw-r--r--Makefile2581logplain
-rw-r--r--common.ml5397logplain
-rw-r--r--common.mli1741logplain
-rw-r--r--compact.ml7503logplain
-rw-r--r--compact.mli1941logplain
-rw-r--r--cset.ml2787logplain
-rw-r--r--cset.mli1521logplain
-rw-r--r--lexer.mli1233logplain
-rw-r--r--lexer.mll11000logplain
-rw-r--r--lexgen.ml32166logplain
-rw-r--r--lexgen.mli2218logplain
-rw-r--r--main.ml4615logplain
-rw-r--r--output.ml6102logplain
-rw-r--r--output.mli1420logplain
-rw-r--r--outputbis.ml13081logplain
-rw-r--r--outputbis.mli1320logplain
-rw-r--r--parser.mly5579logplain
-rw-r--r--syntax.ml1910logplain
-rw-r--r--syntax.mli1800logplain
-rw-r--r--table.ml1893logplain
-rw-r--r--table.mli1345logplain