Man Linux: Main Page and Category List

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)