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.1802logplain
-rw-r--r--coqchk.11950logplain
-rw-r--r--coqdep.13589logplain
-rw-r--r--coqdoc.14564logplain
-rw-r--r--coqide.12622logplain
-rw-r--r--coqmktop.11183logplain
-rw-r--r--coqtop.12866logplain
-rw-r--r--coqtop.byte.1389logplain
-rw-r--r--coqtop.opt.1392logplain
-rw-r--r--coqwc.1592logplain
-rw-r--r--gallina.11182logplain