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
DRAFT -
Version 6.2 (This research was partly supported by ESPRIT Basic Research Action ``Types'' and by the GDR ``Programmation'' co-financed by MRE-PRC and CNRS.)
Coq Project
Addenddum to the Reference Manual
DRAFT -
Version 6.2 (This research was partly supported by ESPRIT Basic Research Action ``Types'' and by the GDR ``Programmation'' co-financed by MRE-PRC and CNRS.)
Coq Project
V6.2,
ŠINRIA 1998
ŠINRIA 1998