1COQ(1)                      General Commands Manual                     COQ(1)
2
3
4

NAME

6       coqwc  -  print the number of specification, proof and comment lines in
7       Coq files
8
9

SYNOPSIS

11       coqwc [ -p ] [ -s ] [ -r ] [ -e ] files ...
12
13

DESCRIPTION

15       coqwc computes the number of specification lines, proof lines and  com‐
16       ment lines in Coq files.
17
18

OPTIONS

20       -p     Print the percentage of comments
21
22       -s     Print only the number of specification lines
23
24       -r     Print only the number of proof lines
25
26       -e     Do not skip headers
27
28

BUGS

30       Please report any bug to coq-bugs@pauillac.inria.fr
31
32
33
34Coq tools                        16 March 2004                          COQ(1)