summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend66239logplain
-rw-r--r--.gitignore89641logplain
-rw-r--r--.ignore117logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--.travis-ci.sh656logplain
-rw-r--r--.travis.yml64logplain
-rw-r--r--Changes186494logplain
-rw-r--r--INSTALL13661logplain
-rw-r--r--LICENSE32030logplain
-rw-r--r--Makefile25748logplain
-rw-r--r--Makefile.nt23326logplain
-rw-r--r--README5017logplain
-rw-r--r--README.win3215590logplain
-rw-r--r--VERSION132logplain
d---------asmcomp3235logplain
d---------asmrun781logplain
d---------boot141logplain
d---------bytecomp1796logplain
d---------byterun1843logplain
d---------compilerlibs38logplain
d---------config454logplain
-rwxr-xr-xconfigure56319logplain
d---------debugger2697logplain
d---------driver819logplain
d---------emacs663logplain
d---------experimental102logplain
d---------lex894logplain
d---------man492logplain
d---------ocamlbuild4502logplain
d---------ocamldoc3279logplain
d---------otherlibs454logplain
d---------parsing868logplain
d---------stdlib4179logplain
d---------testsuite276logplain
d---------tools1635logplain
d---------toplevel802logplain
d---------typing2598logplain
d---------utils682logplain
d---------yacc573logplain