summaryrefslogtreecommitdiff
path: root/tools
ModeNameSize
-rw-r--r--.depend5750logplain
-rw-r--r--Makefile11006logplain
-rwxr-xr-xautogen2095logplain
-rw-r--r--caml_tex.ml27921logplain
-rwxr-xr-xcheck-parser-uptodate-or-warn.sh2598logplain
-rwxr-xr-xcheck-symbol-names1670logplain
-rwxr-xr-xcheck-typo17314logplain
-rwxr-xr-xcheck-typo-since1620logplain
-rw-r--r--checkstack.c1885logplain
d---------ci101logplain
-rw-r--r--cmpbyt.ml3241logplain
-rw-r--r--cvt_emit.mll3566logplain
-rw-r--r--dumpobj.ml17054logplain
-rw-r--r--dune1177logplain
-rw-r--r--eqparsetree.ml30984logplain
-rw-r--r--gdb-macros8786logplain
-rw-r--r--gdb_ocamlrun.py5640logplain
-rw-r--r--gen_sizeclasses.ml3103logplain
-rwxr-xr-xgit-dev-options.sh3005logplain
-rw-r--r--lintapidiff.ml12050logplain
-rwxr-xr-xlist-globals1239logplain
-rw-r--r--magic604logplain
-rw-r--r--make_opcodes.mll2132logplain
-rw-r--r--mantis2gh_stripped.csv14363logplain
-rwxr-xr-xmsvs-promote-path1798logplain
-rw-r--r--objinfo.ml13337logplain
-rw-r--r--ocamlcmt.ml7201logplain
-rw-r--r--ocamlcp.ml1327logplain
-rw-r--r--ocamlcp_common.ml4582logplain
-rw-r--r--ocamldep.ml28logplain
-rw-r--r--ocamlmklib.ml13560logplain
-rw-r--r--ocamlmktop.ml1839logplain
-rw-r--r--ocamloptp.ml1330logplain
-rw-r--r--ocamlprof.ml15643logplain
-rwxr-xr-xocamlsize2479logplain
-rwxr-xr-xpre-commit-githook7159logplain
-rw-r--r--primreq.ml3601logplain
-rw-r--r--profiling.ml2274logplain
-rw-r--r--profiling.mli1292logplain
-rw-r--r--stripdebug.ml2274logplain
-rwxr-xr-xsync_stdlib_docs6354logplain
d---------unlabel-patches132logplain