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)