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  com-
       ment 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)
