summaryrefslogtreecommitdiff
path: root/lex
ModeNameSize
-rw-r--r--.depend1357logplain
-rw-r--r--.ignore66logplain
-rw-r--r--Makefile2015logplain
-rw-r--r--Makefile.nt2013logplain
-rw-r--r--common.ml4875logplain
-rw-r--r--common.mli1371logplain
-rw-r--r--compact.ml7266logplain
-rw-r--r--compact.mli1677logplain
-rw-r--r--cset.ml2522logplain
-rw-r--r--cset.mli1254logplain
-rw-r--r--lexer.mli969logplain
-rw-r--r--lexer.mll8809logplain
-rw-r--r--lexgen.ml32332logplain
-rw-r--r--lexgen.mli1954logplain
-rw-r--r--main.ml4264logplain
-rw-r--r--output.ml5210logplain
-rw-r--r--output.mli1134logplain
-rw-r--r--outputbis.ml5990logplain
-rw-r--r--outputbis.mli1040logplain
-rw-r--r--parser.mly5186logplain
-rw-r--r--syntax.ml1620logplain
-rw-r--r--syntax.mli1510logplain
-rw-r--r--table.ml1633logplain
-rw-r--r--table.mli1081logplain