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