| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coq-interface.1 | 554 | logplain |
| -rw-r--r-- | coq-tex.1 | 3064 | logplain |
| -rw-r--r-- | coq_makefile.1 | 466 | logplain |
| -rw-r--r-- | coq_vo2xml.1 | 1246 | logplain |
| -rw-r--r-- | coqc.1 | 776 | logplain |
| -rw-r--r-- | coqdep.1 | 3469 | logplain |
| -rw-r--r-- | coqdoc.1 | 503 | logplain |
| -rw-r--r-- | coqmktop.1 | 703 | logplain |
| -rw-r--r-- | coqtop.1 | 571 | logplain |
| -rw-r--r-- | coqtop.byte.1 | 389 | logplain |
| -rw-r--r-- | coqtop.opt.1 | 392 | logplain |
| -rw-r--r-- | coqwc.1 | 591 | logplain |
| -rw-r--r-- | gallina.1 | 1182 | logplain |
| -rw-r--r-- | parser.1 | 456 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |