summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend197769logplain
-rw-r--r--.depend.menhir763logplain
-rw-r--r--.gitattributes11653logplain
d---------.github77logplain
-rw-r--r--.gitignore6045logplain
-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--Changes445146logplain
-rw-r--r--HACKING.adoc18919logplain
-rw-r--r--INSTALL.adoc5989logplain
-rw-r--r--LICENSE27179logplain
-rw-r--r--Makefile30048logplain
-rw-r--r--Makefile.best_binaries2852logplain
-rw-r--r--Makefile.build_config.in1497logplain
-rw-r--r--Makefile.common4319logplain
-rw-r--r--Makefile.config.in8805logplain
-rw-r--r--Makefile.config_if_required1560logplain
-rw-r--r--Makefile.dev2029logplain
-rw-r--r--Makefile.menhir6377logplain
-rw-r--r--Makefile.tools4621logplain
-rw-r--r--README.adoc5898logplain
-rw-r--r--README.win32.adoc17174logplain
-rw-r--r--VERSION132logplain
-rw-r--r--aclocal.m49145logplain
-rw-r--r--appveyor.yml1833logplain
d---------asmcomp3418logplain
d---------boot103logplain
d---------build-aux522logplain
d---------bytecomp911logplain
d---------compilerlibs49logplain
-rwxr-xr-xconfigure553018logplain
-rw-r--r--configure.ac57527logplain
d---------debugger2639logplain
d---------driver1047logplain
-rw-r--r--dune7541logplain
-rw-r--r--dune-project75logplain
d---------file_formats382logplain
m---------flexdll @ b6b23140log
d---------lambda1189logplain
d---------lex820logplain
d---------man492logplain
d---------manual253logplain
d---------middle_end1303logplain
-rw-r--r--ocaml-variants.opam654logplain
d---------ocamldoc3246logplain
d---------ocamltest3383logplain
d---------otherlibs292logplain
d---------parsing1500logplain
d---------release-info156logplain
d---------runtime2841logplain
d---------stdlib5298logplain
d---------testsuite211logplain
d---------tools1632logplain
d---------toplevel789logplain
d---------typing3455logplain
d---------utils1734logplain
d---------yacc533logplain