DragonFly On-Line Manual Pages

COQ(1)                 DragonFly General Commands Manual                COQ(1)

NAME
       coqtop.byte - The bytecode Coq toplevel

SYNOPSIS
       coqtop.byte [ options ] [ file ]

DESCRIPTION
       coqopt.byte is the bytecode 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)