coq-interface.opt1
Customized coq toplevel to make user interfaces
Part of coq-interface(1).
Usage
coq-interface [options]
Overview
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).
History
- Debian 6.0 (Squeeze): the text shown here
- Debian 5.0 (Lenny) to Debian 3.1 (Sarge)
-batch until Debian 5.0 (Lenny);
-boot until Debian 5.0 (Lenny);
-byte until Debian 5.0 (Lenny);
-compile until Debian 5.0 (Lenny);
-compile-verbose until Debian 5.0 (Lenny);
-dont-load-proofs until Debian 5.0 (Lenny);
-dump-glob until Debian 5.0 (Lenny);
-emacs until Debian 5.0 (Lenny);
-impredicative-set until Debian 5.0 (Lenny);
-init-file until Debian 5.0 (Lenny);
-inputstate until Debian 5.0 (Lenny);
-is until Debian 5.0 (Lenny);
-l until Debian 5.0 (Lenny);
-load-ml-object until Debian 5.0 (Lenny);
-load-ml-source until Debian 5.0 (Lenny);
-load-vernac-object until Debian 5.0 (Lenny);
-load-vernac-source until Debian 5.0 (Lenny);
-load-vernac-source-verbose until Debian 5.0 (Lenny);
-lv until Debian 5.0 (Lenny);
-nois until Debian 5.0 (Lenny);
-opt until Debian 5.0 (Lenny);
-outputstate until Debian 5.0 (Lenny);
-q until Debian 5.0 (Lenny);
-require until Debian 5.0 (Lenny);
-src until Debian 5.0 (Lenny);
-user until Debian 5.0 (Lenny);
-v until Debian 5.0 (Lenny);
-where until Debian 5.0 (Lenny);
-xml until Debian 5.0 (Lenny).