| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | alpha.ml | 1415 | logplain |
| -rw-r--r-- | alpha.mli | 802 | logplain |
| -rw-r--r-- | coqdoc.sty | 1642 | logplain |
| -rw-r--r-- | index.mli | 1557 | logplain |
| -rw-r--r-- | index.mll | 8559 | logplain |
| -rw-r--r-- | main.ml | 14573 | logplain |
| -rw-r--r-- | output.ml | 22555 | logplain |
| -rw-r--r-- | output.mli | 2417 | logplain |
| -rw-r--r-- | pretty.mli | 750 | logplain |
| -rw-r--r-- | pretty.mll | 16187 | logplain |
| -rw-r--r-- | style.css | 1035 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |