summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore26logplain
-rw-r--r--CHANGES1012logplain
-rw-r--r--LICENSE1291logplain
-rw-r--r--META138logplain
-rw-r--r--Makefile1087logplain
-rw-r--r--README.md3457logplain
-rwxr-xr-xconfigure66logplain
d---------debian314logplain
-rw-r--r--frontend.ml49142logplain
-rw-r--r--fsmod.ORIG.ml391logplain
-rw-r--r--fsmod.ml3235logplain
d---------local-packages / ocamlfind36logplain
-rw-r--r--main.ml291logplain
-rw-r--r--opam935logplain
-rw-r--r--papr_official.ml3520logplain