12.9 Man pages
There are man pages for the commands coqtop, coqc, coqmktop,
coqdep, gallina, coq-tex, coq2latex and coq2html. Man pages are installed at installation time
(see installation instructions in file INSTALL, step 6).
The Coq Proof Assistant
Addenddum to the Reference Manual
Version 6.3.1
1
Coq Project
V6.3.1,
ŠINRIA 1999