summaryrefslogtreecommitdiff
path: root/lex
ModeNameSize
-rw-r--r--.depend1357logplain
-rw-r--r--Makefile2615logplain
-rw-r--r--Makefile.nt1082logplain
-rw-r--r--common.ml5401logplain
-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.mll9195logplain
-rw-r--r--lexgen.ml32405logplain
-rw-r--r--lexgen.mli2218logplain
-rw-r--r--main.ml4542logplain
-rw-r--r--output.ml5825logplain
-rw-r--r--output.mli1420logplain
-rw-r--r--outputbis.ml7853logplain
-rw-r--r--outputbis.mli1320logplain
-rw-r--r--parser.mly5582logplain
-rw-r--r--syntax.ml1910logplain
-rw-r--r--syntax.mli1800logplain
-rw-r--r--table.ml1893logplain
-rw-r--r--table.mli1345logplain