summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend196589logplain
-rw-r--r--.depend.menhir763logplain
-rw-r--r--.gitattributes11152logplain
d---------.github / workflows36logplain
-rw-r--r--.gitignore6076logplain
-rw-r--r--.gitmodules0logplain
-rw-r--r--.mailmap4889logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--.travis.yml1336logplain
-rw-r--r--BOOTSTRAP.adoc2307logplain
-rw-r--r--CONTRIBUTING.md22152logplain
-rw-r--r--Changes408525logplain
-rw-r--r--HACKING.adoc15688logplain
-rw-r--r--INSTALL.adoc6116logplain
-rw-r--r--LICENSE27179logplain
-rw-r--r--Makefile30647logplain
-rw-r--r--Makefile.best_binaries2214logplain
-rw-r--r--Makefile.common.in2901logplain
-rw-r--r--Makefile.config.in8727logplain
-rw-r--r--Makefile.dev2029logplain
-rw-r--r--Makefile.menhir6377logplain
-rw-r--r--Makefile.tools4467logplain
-rw-r--r--News7171logplain
-rw-r--r--README.md2113logplain
-rw-r--r--README.stock.adoc6193logplain
-rw-r--r--README.win32.adoc17174logplain
-rw-r--r--VERSION142logplain
-rw-r--r--aclocal.m48667logplain
-rw-r--r--appveyor.yml1811logplain
d---------asmcomp3564logplain
-rwxr-xr-xautogen2000logplain
d---------boot103logplain
d---------build-aux522logplain
d---------bytecomp911logplain
d---------compilerlibs49logplain
d---------config / auto-aux35logplain
-rwxr-xr-xconfigure555829logplain
-rw-r--r--configure.ac58997logplain
d---------debugger2639logplain
d---------driver950logplain
-rw-r--r--dune7490logplain
-rw-r--r--dune-project75logplain
d---------file_formats293logplain
d---------lambda1189logplain
d---------lex820logplain
d---------man492logplain
d---------manual253logplain
d---------middle_end1303logplain
-rw-r--r--ocaml-variants.opam1101logplain
d---------ocamldoc3286logplain
d---------ocamltest3288logplain
d---------otherlibs366logplain
d---------parsing1500logplain
d---------runtime3031logplain
d---------stdlib5244logplain
d---------testsuite247logplain
d---------tools2001logplain
d---------toplevel789logplain
d---------typing3376logplain
d---------utils1570logplain
d---------yacc533logplain