aboutsummaryrefslogtreecommitdiffhomepage
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.11925logplain
-rw-r--r--coqdep.13943logplain
-rw-r--r--coqdoc.14564logplain
-rw-r--r--coqide.12207logplain
-rw-r--r--coqtop.12229logplain
-rw-r--r--coqtop.byte.1389logplain
-rw-r--r--coqtop.opt.1392logplain
-rw-r--r--coqwc.1592logplain