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