coqide - graphical interface for the Coq proof assistant

       This  manual  page was written by Samuel Mimram <samuel.mimram@ens-lyon.org>, for the Debian project (but
       may be used by others).

                                                                                                       COQIDE(1)

coqide is a gtk graphical interface for the Coq proof assistant.

       For command-line-oriented use of Coq, see coqtop(1); for batch-oriented use of Coq, see coqc(1).

       coqide - graphical interface for the Coq proof assistant

-h     Show the complete list of options accepted by coqide.

       -Idir,-includedir
              Add directory dir in the include path.

       -Rdircoqdir
              Recursively map physical dir to logical coqdir.-src   Add source directories in the include path.

       -nois  Start with an empty state.

       -load-ml-objectf
              Load ML object file f.-load-ml-sourcef
              Load ML file f.-lf,-load-vernac-sourcef
              Load Coq file f.v (Load f.).

       -lvf,-load-vernac-source-verbosef
              Load Coq file f.v (Load Verbose f.).

       -load-vernac-objectpath
              Load Coq library path (Require path.).

       -require-importpath
              Load Coq library path and import it (Require Import path.).

       -compilef
              Compile Coq file f.v (implies -batch).

       -compile-verbosef
              Verbosely compile Coq file f.v (implies -batch).

       -where Print Coq's standard library location and exit.

       -v     Print Coq version and exit.

       -q     Skip loading of rcfile.

       -init-filef
              Set the rcfile to f.-emacs Tells Coq it is executed under Emacs.

       -dump-globf
              Dump globalizations in file f (to be used by coqdoc(1)).

       -impredicative-set
              Set sort Set impredicative.

       -dont-load-proofs
              Don't load opaque proofs in memory.

coqc(1), coqtop(1), coq-tex(1), coqdep(1)

       TheCoqReferenceManual

       The Coq web site: http://coq.inria.fr

       /usr/share/doc/coqide/FAQ

coqide [ options ]