aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/xml/README
blob: 3128189929d0742c9e531e06a6df0435e36a55ca (plain)
1
2
3
4
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 <claudio.sacerdoticoen@unibo.it>.