coqwc man page

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

Info

16 March 2004 Coq tools