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