Man Linux: Main Page and Category List

NAME

       coq-interface - Customized Coq toplevel to make user interfaces

SYNOPSIS

       coq-interface [ options ]

DESCRIPTION

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

OPTIONS

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

SEE ALSO

       coqc(1), coqdep(1), coqtop(1), coq-parser(1).
       The Coq Reference Manual.  The Coq web site: http://coq.inria.fr

                                April 25, 2001                          COQ(1)