summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--API.odocl94logplain
-rw-r--r--INSTALL.txt962logplain
-rw-r--r--LICENSE.txt8621logplain
-rw-r--r--META346logplain
-rw-r--r--Makefile1425logplain
-rw-r--r--README.md931logplain
-rw-r--r--_oasis3439logplain
-rw-r--r--_tags2261logplain
-rw-r--r--benchmark.ml23787logplain
-rw-r--r--benchmark.mli9794logplain
-rw-r--r--benchmark.mllib94logplain
d---------debian485logplain
d---------examples384logplain
-rw-r--r--myocamlbuild.ml13880logplain
-rw-r--r--setup.ml168553logplain
d---------tests39logplain