Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .project | 39 | logplain |
-rw-r--r-- | CHANGES | 769 | logplain |
-rw-r--r-- | CHANGES.darcs | 86068 | logplain |
-rw-r--r-- | LICENSE | 1518 | logplain |
-rw-r--r-- | Makefile | 702 | logplain |
-rw-r--r-- | README | 2466 | logplain |
-rw-r--r-- | _oasis | 11627 | logplain |
-rw-r--r-- | _tags | 12772 | logplain |
-rw-r--r-- | apiref-intro | 1564 | logplain |
d--------- | bindings | 213 | logplain |
-rwxr-xr-x | configure | 364 | logplain |
d--------- | debian | 577 | logplain |
d--------- | examples | 479 | logplain |
d--------- | man | 306 | logplain |
d--------- | manual | 112 | logplain |
-rw-r--r-- | myocamlbuild.ml | 16905 | logplain |
-rw-r--r-- | obus-api.odocl | 1667 | logplain |
-rw-r--r-- | setup.ml | 231477 | logplain |
d--------- | src | 2961 | logplain |
d--------- | syntax | 83 | logplain |
d--------- | tests | 466 | logplain |
d--------- | tools | 421 | logplain |
d--------- | utils | 104 | logplain |