| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CoqNotations.ttf | 37988 | logplain |
| -rw-r--r-- | ansi-dark.css | 2230 | logplain |
| -rw-r--r-- | ansi.css | 2266 | logplain |
| -rw-r--r-- | coqdoc.css | 1416 | logplain |
| -rw-r--r-- | coqide-queries.png | 66656 | logplain |
| -rw-r--r-- | coqide.png | 59662 | logplain |
| -rw-r--r-- | coqnotations.sty | 1931 | logplain |
| -rw-r--r-- | notations.css | 4532 | logplain |
| -rw-r--r-- | notations.js | 1656 | logplain |
| -rw-r--r-- | pre-text.css | 1015 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
