CoqIde is a graphical interface for Coq. It is written in OCaml. CoqIde is documented in Chapter 14 of the Reference Manual.

Manual Installation in Debian

(See also the instructions in the file $COQTOP/INSTALL.ide in your Coq distribution)

If you want to install CoqIde but without using apt-get install coqide, in Debian lenny you can try:

$ apt-get install liblablgtk2-ocaml-dev

Then try installing Coq as usual using the instructions in $COQTOP/INSTALL.

Cocorico: CoqIde (last edited 20-07-2015 19:31:01 by AToulouse-654-1-380-47)