summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore91logplain
-rw-r--r--.merlin148logplain
-rw-r--r--LICENSE26444logplain
-rw-r--r--Makefile750logplain
-rw-r--r--README.md4875logplain
-rw-r--r--_oasis4298logplain
-rw-r--r--_tags3864logplain
-rw-r--r--architecture.md4537logplain
-rwxr-xr-xbuild-setup.sh44logplain
-rwxr-xr-xconfigure363logplain
d---------data70logplain
-rw-r--r--myocamlbuild.ml24628logplain
d---------scripts82logplain
-rw-r--r--setup.ml384263logplain
d---------src1172logplain
d---------test440logplain