 
 
 
 
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
 
 
 
