summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend159767logplain
-rw-r--r--.depend.menhir763logplain
-rw-r--r--.gitattributes10785logplain
-rw-r--r--.gitignore5897logplain
-rw-r--r--.gitmodules94logplain
-rw-r--r--.mailmap4834logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--.travis.yml1752logplain
-rw-r--r--BOOTSTRAP.adoc2067logplain
-rw-r--r--CONTRIBUTING.md17631logplain
-rw-r--r--Changes357088logplain
-rw-r--r--HACKING.adoc12617logplain
-rw-r--r--INSTALL.adoc12876logplain
-rw-r--r--LICENSE27179logplain
-rw-r--r--Makefile41768logplain
-rw-r--r--Makefile.common2302logplain
-rw-r--r--Makefile.menhir6346logplain
-rw-r--r--Makefile.tools4535logplain
-rw-r--r--News7170logplain
-rw-r--r--README.adoc5270logplain
-rw-r--r--README.win32.adoc17672logplain
-rw-r--r--VERSION132logplain
-rw-r--r--appveyor.yml1811logplain
d---------asmcomp4451logplain
d---------boot103logplain
d---------bytecomp2051logplain
d---------compilerlibs38logplain
d---------config419logplain
-rwxr-xr-xconfigure68234logplain
d---------debugger2612logplain
d---------driver1154logplain
-rw-r--r--dune6569logplain
-rw-r--r--dune-project75logplain
d---------emacs628logplain
m---------flexdll @ 7f565ef0log
d---------lex820logplain
d---------man492logplain
d---------manual253logplain
d---------middle_end4786logplain
d---------ocamldoc3286logplain
d---------ocamltest3079logplain
d---------otherlibs439logplain
d---------parsing1500logplain
d---------runtime2680logplain
d---------stdlib5094logplain
d---------testsuite278logplain
d---------tools1895logplain
d---------toplevel789logplain
d---------typing3302logplain
d---------utils1275logplain
d---------yacc499logplain