coqwc1
Print the number of specification, proof and comment lines in coq files
Usage
coqwc [-p]
[-s]
[-r]
[-e]
files ...
Overview
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.
Releases
12 releases since Debian 3.1 (Sarge); the text changed 4 times.