table of contents
COQ(1) | General Commands Manual | COQ(1) |
NAME¶
coqtop.byte - The bytecode Coq toplevelSYNOPSIS¶
coqtop.byte [ options ] [ file ]DESCRIPTION¶
coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and coqcSEE ALSO¶
coqtop(1), coqc(1).The Coq Reference Manual. The Coq web site: http://coq.inria.fr
April 25, 2001 |