DragonFly On-Line Manual Pages

COQ(1)                 DragonFly General Commands Manual                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)