summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend196154logplain
-rw-r--r--.depend.menhir763logplain
-rw-r--r--.gitattributes11152logplain
-rw-r--r--.gitignore6043logplain
-rw-r--r--.gitmodules94logplain
-rw-r--r--.mailmap4889logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--.travis.yml2006logplain
-rw-r--r--BOOTSTRAP.adoc2307logplain
-rw-r--r--CONTRIBUTING.md22152logplain
-rw-r--r--Changes406674logplain
-rw-r--r--HACKING.adoc15688logplain
-rw-r--r--INSTALL.adoc6116logplain
-rw-r--r--LICENSE27179logplain
-rw-r--r--Makefile29647logplain
-rw-r--r--Makefile.best_binaries2214logplain
-rw-r--r--Makefile.common.in2901logplain
-rw-r--r--Makefile.config.in8697logplain
-rw-r--r--Makefile.dev2029logplain
-rw-r--r--Makefile.menhir6377logplain
-rw-r--r--Makefile.tools4467logplain
-rw-r--r--News7171logplain
-rw-r--r--README.adoc6098logplain
-rw-r--r--README.win32.adoc17174logplain
-rw-r--r--VERSION132logplain
-rw-r--r--aclocal.m48667logplain
-rw-r--r--appveyor.yml1811logplain
d---------asmcomp3487logplain
-rwxr-xr-xautogen2000logplain
d---------boot103logplain
d---------build-aux522logplain
d---------bytecomp911logplain
d---------compilerlibs49logplain
-rwxr-xr-xconfigure553588logplain
-rw-r--r--configure.ac57513logplain
d---------debugger2639logplain
d---------driver950logplain
-rw-r--r--dune7480logplain
-rw-r--r--dune-project75logplain
d---------file_formats293logplain
m---------flexdll @ 7f565ef0log
d---------lambda1189logplain
d---------lex820logplain
d---------man492logplain
d---------manual253logplain
d---------middle_end1303logplain
-rw-r--r--ocaml-variants.opam654logplain
d---------ocamldoc3286logplain
d---------ocamltest3288logplain
d---------otherlibs336logplain
d---------parsing1500logplain
d---------runtime2861logplain
d---------stdlib5094logplain
d---------testsuite211logplain
d---------tools1790logplain
d---------toplevel789logplain
d---------typing3376logplain
d---------utils1570logplain
d---------yacc533logplain