Proviola, a tool for proof reanimation.
Run coqdoc on your sources, run the camera.py script on the generated HTML file. Optionally provide an output file.
On the generated xml file (default extension: .flm), run an XSL processor such as xsltproc (linux) to get an HTML page.
There is a known bug in processing 'plain' scripts, not pre-processed by Coqdoc.
- The lxml library. (lxml.de)