summaryrefslogtreecommitdiff
path: root/man
ModeNameSize
-rw-r--r--coq-interface.1608logplain
-rw-r--r--coq-parser.1467logplain
-rw-r--r--coq-tex.13075logplain
-rw-r--r--coq_makefile.1466logplain
-rw-r--r--coqc.1955logplain
-rw-r--r--coqchk.11872logplain
-rw-r--r--coqdep.13589logplain
-rw-r--r--coqdoc.14564logplain
-rw-r--r--coqide.12572logplain
-rw-r--r--coqmktop.11083logplain
-rw-r--r--coqtop.12813logplain
-rw-r--r--coqtop.byte.1389logplain
-rw-r--r--coqtop.opt.1392logplain
-rw-r--r--coqwc.1592logplain
-rw-r--r--gallina.11182logplain