coq-tex • help

Note: help and version output are generated by a naïve script which tries a few variants of <command> --help, <command> -h etc. to find the command's help and version info. Sometimes it gets lucky, sometimes it doesn't; if the output below looks wrong, it probably is.

coq-tex -V (return code: 2)

Fatal error: exception Sys_error("VERSION: No such file or directory")

coq-tex --help (return code: 0)

coq-tex [options] file ... -o output-file Specify the resulting LaTeX file -n line-width Set the line width -image coq-image Use coq-image as Coq command -w Try to cut lines at blanks -v Verbose mode (show Coq answers on stdout) -sl Coq answers in slanted font (only with LaTeX2e) -hrule Coq parts are written between 2 horizontal lines -small Coq parts are written in small font -boot Launch coqtop with the -boot option -help Display this list of options --help Display this list of options

coq-tex • help

coq-tex • help

coq-tex -V (return code: 2)

coq-tex --help (return code: 0)

Installed via

Path