summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend196493logplain
-rw-r--r--.depend.menhir763logplain
-rw-r--r--.gitattributes11376logplain
d---------.github77logplain
-rw-r--r--.gitignore6049logplain
-rw-r--r--.gitmodules94logplain
-rw-r--r--.mailmap4889logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--.travis.yml2137logplain
-rw-r--r--BOOTSTRAP.adoc2307logplain
-rw-r--r--CONTRIBUTING.md22152logplain
-rw-r--r--Changes415376logplain
-rw-r--r--HACKING.adoc15731logplain
-rw-r--r--INSTALL.adoc6122logplain
-rw-r--r--LICENSE27179logplain
-rw-r--r--Makefile29796logplain
-rw-r--r--Makefile.best_binaries2663logplain
-rw-r--r--Makefile.build_config.in1497logplain
-rw-r--r--Makefile.common3865logplain
-rw-r--r--Makefile.config.in9073logplain
-rw-r--r--Makefile.dev2029logplain
-rw-r--r--Makefile.menhir6377logplain
-rw-r--r--Makefile.tools4468logplain
-rw-r--r--News7171logplain
-rw-r--r--README.adoc7419logplain
-rw-r--r--README.win32.adoc17174logplain
-rw-r--r--VERSION132logplain
-rw-r--r--aclocal.m48667logplain
-rw-r--r--appveyor.yml1833logplain
d---------asmcomp3519logplain
d---------boot103logplain
d---------build-aux522logplain
d---------bytecomp911logplain
d---------compilerlibs49logplain
-rwxr-xr-xconfigure561313logplain
-rw-r--r--configure.ac61827logplain
d---------debugger2639logplain
d---------driver950logplain
-rw-r--r--dune7490logplain
-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---------runtime2899logplain
d---------stdlib5094logplain
d---------testsuite211logplain
d---------tools1782logplain
d---------toplevel789logplain
d---------typing3376logplain
d---------utils1570logplain
d---------yacc533logplain