Man Pages in coqide

Section 1: Executable programs or shell commands

coqide.1

The coq proof assistant graphical interface

coqide.byte.1

The coq proof assistant graphical interface

coqide.opt.1

The coq proof assistant graphical interface