Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 53 | logplain |
-rw-r--r-- | AUTHORS | 56 | logplain |
-rw-r--r-- | CHANGES.md | 3695 | logplain |
-rw-r--r-- | LICENSE | 26530 | logplain |
-rw-r--r-- | Makefile.preprocess | 2229 | logplain |
-rw-r--r-- | README.md | 833 | logplain |
d--------- | debian | 430 | logplain |
d--------- | doc | 684 | logplain |
-rw-r--r-- | dune | 78 | logplain |
-rw-r--r-- | dune-project | 150 | logplain |
d--------- | runtime | 114 | logplain |
d--------- | src | 480 | logplain |
d--------- | test | 3393 | logplain |
-rw-r--r-- | visitors.opam | 763 | logplain |