products/Sources/formale Sprachen/Coq/man/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: lyxtext.h   Sprache: Unknown

Untersuchungsergebnis.1 Download desLex {Lex[66] Fortran[77] Delphi[128]}zum Wurzelverzeichnis wechseln

.TH COQ 1 "April 25, 2001"

.SH NAME
coq_makefile \- The Coq Proof Assistant makefile generator


.SH SYNOPSIS
.B coq_makefile
[
.B arguments
]

.SH DESCRIPTION

.B coq_makefile
is a makefile generator for Coq proof developments.

.SH OPTIONS

.TP
.BI \-h
Will give you a description of the whole list of options of coq_makefile.

.SH SEE ALSO

.BR coqtop (1),
.BR coqtc (1),
.BR coqdep (1).
.br
.I
The Coq Reference Manual.
.I
The Coq web site: http://coq.inria.fr

[ zur Elbe Produktseite wechseln0.89Quellennavigators  ]