NAME
coq_vo2xml - Exports the content of a Coq module to XML
SYNOPSIS
coq_vo2xml [ general Coq options ] [ -image f ] [ -t ] [ -xml-library-root d ] module ...
DESCRIPTION
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:
-image f overrides the coqtop(1) executable with f.
-t does not remove the temporary file fed to coqtop(1).
-xml-library-root d sets the path to the root of the XML library to 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.
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.
OPTIONS
- -h
-
Will give you a description of the whole list of options of coq_vo2xml, including the ones of coqtop(1).
SEE ALSO
coqtop(1), coq_makefile(1),
The Coq Reference Manual. The Coq web site: http://coq.inria.fr