coqc man page on DragonFly

Man page or keyword search:  
man Server   44335 pages
apropos Keyword Search (all sections)
Output format
DragonFly logo
[printable version]

COQ(1)									COQ(1)

NAME
       coqc - The Coq Proof Assistant compiler

SYNOPSIS
       coqc [ general  Coq  options ] file

DESCRIPTION
       coqc  is	 the  batch compiler for the Coq Proof Assistant.  The options
       are basically the same as coqtop(1).  file.v is the vernacular file  to
       compile.	  file	must  be  formed only with the characters `a` to  `Z`,
       `0`-`9` or `_` and must begin with a letter.  The compiler produces  an
       object file file.vo.

       For interactive use of Coq, see coqtop(1).

OPTIONS
       coqc  is	 a  script  that  simply  runs	coqtop with option -compile it
       accepts the same options as coqtop.

       -image bin
	      use bin as underlying coqtop instead of the default one.

       -verbose
	      print the compiled file on the standard output.

SEE ALSO
       coqtop(1), coq_makefile(1), coqdep(1).
       The Coq Reference Manual.  The Coq web site: http://coq.inria.fr

				April 25, 2001				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]
Tweet
Polarhome, production since 1999.
Member of Polarhome portal.
Based on Fawad Halim's script.
....................................................................
Vote for polarhome
Free Shell Accounts :: the biggest list on the net