| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 12 | logplain |
| -rw-r--r-- | Makefile | 432 | logplain |
| d--------- | bugs | 45 | logplain |
| -rw-r--r-- | dirs_multimatch | 39 | logplain |
| -rw-r--r-- | dirs_poly | 105 | logplain |
| -rw-r--r-- | mixin.ml | 4542 | logplain |
| -rw-r--r-- | multimatch.ml | 3242 | logplain |
| -rw-r--r-- | newlabels.ps | 91471 | logplain |
| -rw-r--r-- | poly.exp | 7949 | logplain |
| -rw-r--r-- | poly.exp2 | 8307 | logplain |
| -rw-r--r-- | poly.ml | 8795 | logplain |
| -rw-r--r-- | printers.ml | 181 | logplain |
| -rw-r--r-- | tests.ml | 609 | logplain |
