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.1776logplain
-rw-r--r--coqdep.13469logplain
-rw-r--r--coqdoc.14241logplain
-rw-r--r--coqmktop.1703logplain
-rw-r--r--coqtop.1571logplain
-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