Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | coq-tex.1 | 3064 | logplain |
-rw-r--r-- | coqc.1 | 754 | logplain |
-rw-r--r-- | coqdep.1 | 3469 | logplain |
-rw-r--r-- | coqtop.1 | 554 | logplain |
-rw-r--r-- | coqtop.byte.1 | 389 | logplain |
-rw-r--r-- | coqtop.opt.1 | 392 | logplain |
-rw-r--r-- | gallina.1 | 1182 | logplain |