coq_makefile man page on DragonFly

coq_makefile 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
       coq_makefile - The Coq Proof Assistant makefile generator

SYNOPSIS
       coq_makefile [ arguments ]

DESCRIPTION
       coq_makefile is a makefile generator for Coq proof developments.

OPTIONS
       -h     Will  give  you  a  description  of the whole list of options of
	      coq_makefile.

SEE ALSO
       coqtop(1), coqtc(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]

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

Vote for polarhome