summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore139logplain
-rw-r--r--.merlin168logplain
-rw-r--r--.ocamlinit705logplain
-rw-r--r--LICENSE26444logplain
-rw-r--r--Makefile870logplain
-rw-r--r--README.md5537logplain
-rw-r--r--_oasis4089logplain
-rw-r--r--_tags6287logplain
-rw-r--r--architecture.md4537logplain
-rwxr-xr-xbuild-setup.sh44logplain
-rwxr-xr-xconfigure363logplain
d---------data110logplain
-rw-r--r--myocamlbuild.ml24248logplain
-rw-r--r--opam850logplain
d---------scripts82logplain
-rw-r--r--setup.ml2129logplain
d---------src1465logplain
d---------test488logplain