COQ(1)COQ(1)NAMEcoqtop.byte - The bytecode Coq toplevel
SYNOPSIScoqtop.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 ALSOcoqtop(1), coqc(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr
April 25, 2001 COQ(1)