1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
.TH COQWC 1
.
.SH NAME
coqwc \- print the number of specification, proof and comment lines in
Coq files
.
.SH SYNOPSIS
.B coqwc
[
.B \-p
]
[
.B \-s
]
[
.B \-r
]
[
.B \-e
]
.I files .\|.\|.
.
.SH DESCRIPTION
.
.B coqwc
computes the number of specification lines, proof lines and comment
lines in Coq files.
.
.SH OPTIONS
.
.TP
.B \-p
Print the percentage of comments.
.TP
.B \-s
Print only the number of specification lines.
.TP
.B \-r
Print only the number of proof lines.
.TP
.B \-e
Do not skip headers.
.
.SH BUGS
.
Please report any bug to
.BR https://github.com/coq/coq/issues .
|
