| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coq-interface.1 | 554 | logplain |
| -rw-r--r-- | coq-tex.1 | 3075 | logplain |
| -rw-r--r-- | coq_makefile.1 | 466 | logplain |
| -rw-r--r-- | coqc.1 | 802 | logplain |
| -rw-r--r-- | coqdep.1 | 3697 | logplain |
| -rw-r--r-- | coqdoc.1 | 4460 | logplain |
| -rw-r--r-- | coqide.1 | 2622 | logplain |
| -rw-r--r-- | coqmktop.1 | 1183 | logplain |
| -rw-r--r-- | coqtop.1 | 2865 | logplain |
| -rw-r--r-- | coqtop.byte.1 | 389 | logplain |
| -rw-r--r-- | coqtop.opt.1 | 392 | logplain |
| -rw-r--r-- | coqwc.1 | 592 | logplain |
| -rw-r--r-- | gallina.1 | 1182 | logplain |
| -rw-r--r-- | parser.1 | 457 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |