summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend65005logplain
-rw-r--r--.gitignore88831logplain
-rw-r--r--.ignore117logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--.travis-ci.sh580logplain
-rw-r--r--.travis.yml64logplain
-rw-r--r--Changes182140logplain
-rw-r--r--INSTALL13661logplain
-rw-r--r--LICENSE32030logplain
-rw-r--r--Makefile25490logplain
-rw-r--r--Makefile.nt23031logplain
-rw-r--r--README5017logplain
-rw-r--r--README.win3215590logplain
-rw-r--r--VERSION132logplain
d---------asmcomp3235logplain
d---------asmrun781logplain
d---------boot141logplain
d---------bytecomp1796logplain
d---------byterun3470logplain
d---------compilerlibs38logplain
d---------config454logplain
-rwxr-xr-xconfigure55838logplain
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---------tools1759logplain
d---------toplevel802logplain
d---------typing2432logplain
d---------utils682logplain
d---------yacc573logplain