blob: 21be67b77c0d0dfe88d966f7f293a0bc3e150515 (
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
.TH COQ 1 "April 25, 2001"
.SH NAME
coq_vo2xml \- Exports the content of a Coq module to XML
.SH SYNOPSIS
.B coq_vo2xml
[
.B general \ Coq \ options
]
[
.B -image
.I f
]
[
.B -t
]
[
.B -xml-library-root
.I d
]
.IR module " .\|.\|."
.SH DESCRIPTION
.B coq_vo2xml
is a tool to export the content of a Coq module to XML.
Because it executes coqtop(1), it recognizes a superset of its options.
ones:
.PP
.B -image
.IR f
overrides the coqtop(1) executable with
.IR f "."
.PP
.B -t
does not remove the temporary file fed to coqtop(1).
.PP
.B -xml-library-root
.IR d
sets the path to the root of the XML library to
.IR d ","
overriding the value of $XML_ROOT_LIBRARY. The root of the XML library
must be specified, either using the flag or setting the variable.
.PP
.IR module \&
is the name of the module to export. The file module.vo will be searched in the
Coq path by coqtop(1).
The compiler produces a whole tree of XML files and directories rooted in the
specified XML root library.
.SH OPTIONS
.TP
.BI \-h
Will give you a description of the whole list of options of coq_vo2xml,
including the ones of coqtop(1).
.SH SEE ALSO
.BR coqtop (1),
.BR coq_makefile (1),
.br
.I
The Coq Reference Manual.
.I
The Coq web site: http://coq.inria.fr
|
