summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.depend155217logplain
-rw-r--r--.depend.menhir763logplain
-rw-r--r--.gitattributes10443logplain
-rw-r--r--.gitignore5658logplain
-rw-r--r--.gitmodules94logplain
-rw-r--r--.mailmap4283logplain
-rw-r--r--.merlin690logplain
-rw-r--r--.ocp-indent32logplain
-rw-r--r--.travis.yml1752logplain
-rw-r--r--BOOTSTRAP.adoc2067logplain
-rw-r--r--CONTRIBUTING.md17631logplain
-rw-r--r--Changes345359logplain
-rw-r--r--HACKING.adoc12676logplain
-rw-r--r--INSTALL.adoc12876logplain
-rw-r--r--LICENSE27179logplain
-rw-r--r--Makefile40152logplain
-rw-r--r--Makefile.common2302logplain
-rw-r--r--Makefile.menhir5547logplain
-rw-r--r--Makefile.tools4535logplain
-rw-r--r--README.adoc5270logplain
-rw-r--r--README.win32.adoc17672logplain
-rw-r--r--VERSION132logplain
-rw-r--r--appveyor.yml1811logplain
d---------asmcomp4334logplain
d---------boot103logplain
d---------bytecomp1969logplain
d---------compilerlibs38logplain
d---------config419logplain
-rwxr-xr-xconfigure68837logplain
d---------debugger2580logplain
d---------driver1120logplain
d---------emacs628logplain
d---------experimental102logplain
m---------flexdll @ 7f565ef0log
d---------lex820logplain
d---------man492logplain
d---------manual253logplain
d---------middle_end4786logplain
d---------ocamldoc3254logplain
d---------ocamltest3047logplain
d---------otherlibs386logplain
d---------parsing1393logplain
d---------runtime2603logplain
d---------stdlib4735logplain
d---------testsuite278logplain
d---------tools1766logplain
d---------toplevel757logplain
d---------typing2875logplain
d---------utils1167logplain
d---------yacc499logplain