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: LaTeX.h   Sprache: SML

rahmenlose Ansicht.1 DruckansichtLex {Lex[81] Delphi[86] Ada[118]}zum Wurzelverzeichnis wechseln

.TH COQ 1 "April 25, 2001"

.SH NAME
coqtop.opt \- The native-code Coq toplevel


.SH SYNOPSIS
.B coqopt.opt
[
.B options
]
[
.I file
]

.SH DESCRIPTION

.B coqopt.opt
is the native-code version of Coq. It should not be called directly, but
only by
.B coqtop
and
.B coqc

.SH SEE ALSO

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

[ Verzeichnis aufwärts0.89unsichere Verbindung  ]