coqtop.opt man page

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

Info

April 25, 2001