Proviola, a tool for proof reanimation. - Description: TODO - Dependencies: == Beatiful soup == - This tool (in particular: the coqdoc_to_flm extension) requires a stable installation of the BeautifulSoup library (the 3.2 branch), as can be found at http://pypi.python.org/pypi/BeautifulSoup/3.2.0 . - Apply the patch in workarounds/beatifulstonesoup.stylesheet.patch to the installed BeautifulSoup.py: this fixes a bug where the <? xml-stylesheet ...> PI gets replaced by the <? xml ...> PI. Do *not* use the 3.1 branch provided in aptitude, as this branch is buggy and won't work with the Proviola.