Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 40 | logplain |
-rw-r--r-- | Changes | 4089 | logplain |
-rw-r--r-- | LICENSE | 26394 | logplain |
-rw-r--r-- | Makefile | 750 | logplain |
-rw-r--r-- | README.md | 6539 | logplain |
-rw-r--r-- | _oasis | 4113 | logplain |
-rw-r--r-- | _tags | 4274 | logplain |
-rwxr-xr-x | configure | 363 | logplain |
d--------- | debian | 625 | logplain |
-rw-r--r-- | setup.ml | 2129 | logplain |
d--------- | src | 1887 | logplain |
d--------- | test | 114 | logplain |