blob: a24f66b7cf79bf2a2f8704b170758db1ffb4fd08 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
.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 coqc and
coqtop.
.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
|
