Man pages sections > man1 > coqwc

coqwc - print the number of specification, proof and comment lines in Coq files

COQ(1) General Commands Manual COQ(1)

NAME

coqwc - print the number of specification, proof and comment lines in Coq files
 

SYNOPSIS

coqwc [ -p ] [ -s ] [ -r ] [ -e ] files ...
 

DESCRIPTION

coqwc computes the number of specification lines, proof lines and comment lines in Coq files.
 

OPTIONS

-p
Print the percentage of comments
-s
Print only the number of specification lines
-r
Print only the number of proof lines
-e
Do not skip headers
 

BUGS

Please report any bug to coq-bugs@pauillac.inria.fr
16 March 2004 Coq tools