summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend62871logplain
-rw-r--r--.gitignore2081logplain
-rw-r--r--.ignore117logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--Changes166875logplain
-rw-r--r--INSTALL13611logplain
-rw-r--r--LICENSE32030logplain
-rw-r--r--Makefile25295logplain
-rw-r--r--Makefile.nt22640logplain
-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-xconfigure54932logplain
d---------debugger2697logplain
d---------driver819logplain
d---------emacs663logplain
d---------experimental102logplain
d---------lex894logplain
d---------man492logplain
d---------ocamlbuild4466logplain
d---------ocamldoc3234logplain
d---------otherlibs454logplain
d---------parsing868logplain
d---------stdlib3969logplain
d---------testsuite276logplain
d---------tools1723logplain
d---------toplevel802logplain
d---------typing2432logplain
d---------utils682logplain
d---------yacc573logplain