summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend201314logplain
-rw-r--r--.depend.menhir763logplain
-rw-r--r--.gitattributes9074logplain
d---------.github77logplain
-rw-r--r--.gitignore6373logplain
-rw-r--r--.gitmodules0logplain
-rw-r--r--.mailmap5650logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--BOOTSTRAP.adoc3647logplain
-rw-r--r--CONTRIBUTING.md20168logplain
-rw-r--r--Changes488580logplain
-rw-r--r--HACKING.adoc27275logplain
-rw-r--r--INSTALL.adoc6612logplain
-rw-r--r--LICENSE27179logplain
-rw-r--r--Makefile33009logplain
-rw-r--r--Makefile.best_binaries2855logplain
-rw-r--r--Makefile.build_config.in2106logplain
-rw-r--r--Makefile.common6054logplain
-rw-r--r--Makefile.config.in8729logplain
-rw-r--r--Makefile.config_if_required1528logplain
-rw-r--r--Makefile.dev2051logplain
-rw-r--r--Makefile.menhir11444logplain
-rw-r--r--README.md2964logplain
-rw-r--r--README.stock.adoc6165logplain
-rw-r--r--README.win32.adoc16686logplain
-rw-r--r--VERSION129logplain
-rw-r--r--aclocal.m415135logplain
d---------api_docgen371logplain
-rw-r--r--appveyor.yml2131logplain
d---------asmcomp3672logplain
d---------boot103logplain
d---------build-aux522logplain
d---------bytecomp911logplain
d---------compilerlibs49logplain
d---------config / auto-aux35logplain
-rwxr-xr-xconfigure581007logplain
-rw-r--r--configure.ac63833logplain
d---------debugger2686logplain
d---------driver1047logplain
-rw-r--r--dune7574logplain
-rw-r--r--dune-project75logplain
d---------file_formats382logplain
d---------lambda1189logplain
d---------lex820logplain
d---------man492logplain
d---------manual250logplain
d---------middle_end1303logplain
-rw-r--r--ocaml-variants.opam3362logplain
d---------ocamldoc3251logplain
d---------ocamltest3332logplain
d---------otherlibs322logplain
d---------parsing1500logplain
d---------release-info156logplain
d---------runtime3040logplain
d---------stdlib5865logplain
d---------testsuite247logplain
d---------tools1889logplain
d---------toplevel608logplain
d---------typing3740logplain
d---------utils1999logplain
d---------yacc533logplain