The xml export plugin for Coq has been removed from the sources. A backward compatible plug-in will be provided as a third-party plugin. For more informations, contact Claudio Sacerdoti Coen .