aboutsummaryrefslogtreecommitdiffhomepage
path: root/man
ModeNameSize
-rw-r--r--coq-interface.1554logplain
-rw-r--r--coq-tex.13064logplain
-rw-r--r--coq_makefile.1466logplain
-rw-r--r--coqc.1802logplain
-rw-r--r--coqdep.13690logplain
-rw-r--r--coqdoc.14421logplain
-rw-r--r--coqmktop.11182logplain
-rw-r--r--coqtop.12865logplain
-rw-r--r--coqtop.byte.1389logplain
-rw-r--r--coqtop.opt.1392logplain
-rw-r--r--coqwc.1591logplain
-rw-r--r--gallina.11182logplain
-rw-r--r--parser.1456logplain