coqwc(1) debian man page | unix.com

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)