GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  COQWC (1)

NAME

coqwc - print the number of specification, proof and comment lines in Coq files

CONTENTS

Synopsis
Description
Options
Bugs

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

Search for    or go to Top of page |  Section 1 |  Main Index


Coq tools COQ (1) 16 March 2004

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.