summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.depend62265logstatsplain
-rw-r--r--.ignore117logstatsplain
-rw-r--r--.ocp-indent32logstatsplain
-rw-r--r--Changes164834logstatsplain
-rw-r--r--INSTALL13611logstatsplain
-rw-r--r--LICENSE32030logstatsplain
-rw-r--r--Makefile24979logstatsplain
-rw-r--r--Makefile.nt22312logstatsplain
-rw-r--r--README5017logstatsplain
-rw-r--r--README.win3215360logstatsplain
-rw-r--r--VERSION132logstatsplain
d---------asmcomp2730logstatsplain
d---------asmrun781logstatsplain
d---------boot141logstatsplain
d---------bytecomp1796logstatsplain
d---------byterun3470logstatsplain
d---------compilerlibs38logstatsplain
d---------config454logstatsplain
-rwxr-xr-xconfigure56626logstatsplain
d---------debugger2697logstatsplain
d---------driver819logstatsplain
d---------emacs663logstatsplain
d---------experimental102logstatsplain
d---------lex894logstatsplain
d---------man492logstatsplain
d---------ocamlbuild4466logstatsplain
d---------ocamldoc3234logstatsplain
d---------otherlibs454logstatsplain
d---------parsing868logstatsplain
d---------stdlib3811logstatsplain
d---------testsuite276logstatsplain
d---------tools1723logstatsplain
d---------toplevel802logstatsplain
d---------typing2432logstatsplain
d---------utils682logstatsplain
d---------yacc573logstatsplain
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-11-30 17:00:26 +0000