English version
This project aims at providing a more flexible output for coq-tex.
All coq interaction are outputed in a custom latex environment when using the flag -p.
A coq only file can be generated using flag -g and it is compiled if flag -vo is used.
Helps outputed by coq-tex -h has been improved.
If none of the newly added flags is used, the program should behave exactly as the official version.
Source file is here