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
Coq tools 16 March 2004 COQ(1)
