coqtop.opt man page on DragonFly

coqtop.opt 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
       coqtop.opt - The native-code Coq toplevel

SYNOPSIS
       coqopt.opt [ options ] [ file ]

DESCRIPTION
       coqopt.opt  is  the native-code version of Coq. It should not be called
       directly, but only by coqtop and coqc

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