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

NAME

6       coq-interface - Customized Coq toplevel to make user interfaces
7
8
9

SYNOPSIS

11       coq-interface [ options ]
12
13

DESCRIPTION

15       coq-interface  is  a  Coq customized toplevel system for Coq containing
16       some modules useful for the graphical interface. This  program  is  not
17       for the casual user.
18
19

OPTIONS

21       -h     Help.  Will  give  you  the complete list of options accepted by
22              coq-interface (the same as coqtop).
23
24

SEE ALSO

26       coqc(1), coqdep(1), coqtop(1), coq-parser(1).
27       The Coq Reference Manual.  The Coq web site: http://coq.inria.fr
28
29
30
31                                April 25, 2001                          COQ(1)
Impressum