1COQ(1)                      General Commands Manual                     COQ(1)
2
3
4

NAME

6       coqtop.byte - The bytecode Coq toplevel
7
8
9

SYNOPSIS

11       coqtop.byte [ options ] [ file ]
12
13

DESCRIPTION

15       coqopt.byte  is  the  bytecode  version of Coq. It should not be called
16       directly, but only by coqtop and coqc
17
18

SEE ALSO

20       coqtop(1), coqc(1).
21       The Coq Reference Manual.  The Coq web site: http://coq.inria.fr
22
23
24
25
26
27                                April 25, 2001                          COQ(1)