12.8 Man pages
There are man pages for the commands coqdep, gallina and
coq-tex. 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 7.3
1
LogiCal Project
V7.3,
ŠINRIA 1999-2002