summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend63408logplain
-rw-r--r--.gitignore78936logplain
-rw-r--r--.ignore117logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--.travis-ci.sh487logplain
-rw-r--r--.travis.yml64logplain
-rw-r--r--Changes172279logplain
-rw-r--r--INSTALL13661logplain
-rw-r--r--LICENSE32030logplain
-rw-r--r--Makefile25053logplain
-rw-r--r--Makefile.nt22820logplain
-rw-r--r--README5017logplain
-rw-r--r--README.win3215360logplain
-rw-r--r--VERSION132logplain
d---------asmcomp2884logplain
d---------asmrun781logplain
d---------boot141logplain
d---------bytecomp1796logplain
d---------byterun3470logplain
d---------compilerlibs38logplain
d---------config454logplain
-rwxr-xr-xconfigure55592logplain
d---------debugger2697logplain
d---------driver819logplain
d---------emacs663logplain
d---------experimental102logplain
d---------lex894logplain
d---------man492logplain
d---------ocamlbuild4466logplain
d---------ocamldoc3279logplain
d---------otherlibs454logplain
d---------parsing868logplain
d---------stdlib4179logplain
d---------testsuite276logplain
d---------tools1759logplain
d---------toplevel802logplain
d---------typing2432logplain
d---------utils682logplain
d---------yacc573logplain