coqwc man page on DragonFly

coqwc man page on DragonFly

Man page or keyword search:
man Server 44335 pages
apropos Keyword Search (all sections)
Output format

COQ(1)									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  com‐
       ment 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)

[top]

List of man pages available for DragonFly

Copyright (c) for man pages and the logo by the respective OS vendor.

For those who want to learn more, the polarhome community provides shell access and support.

[legal] [privacy] [GNU] [policy] [cookies] [netiquette] [sponsors] [FAQ]

Polarhome, production since 1999.
Member of Polarhome portal.
Based on Fawad Halim's script.
....................................................................

Vote for polarhome