coq/plugins/xml/README, branch master The formal proof system [misc] Remove leftover files. 2018-09-04T12:56:08+00:00 Emilio Jesus Gallego Arias 2018-05-24T01:52:15+00:00 2a458c05b491ebb422e48e551b5ed41eb3ef986e Dune will complain about these leftovers / dead files in the tree. 
Dune will complain about these leftovers / dead files in the tree.
Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen. 2016-01-15T16:49:49+00:00 Maxime Dénès 2016-01-15T16:49:49+00:00 74a5cfa8b2f1a881ebf010160421cf0775c2a084 






Restoring plugins/xml/README erased by mistake.
2014-10-09T16:27:37+00:00

Hugo Herbelin

2014-10-09T14:52:05+00:00

8770f0db6e16aaff27a14fd48eed2ae70338f3df












A version of convert_concl and convert_hyp in new proof engine.
2014-10-09T14:04:42+00:00

Hugo Herbelin

2014-10-05T13:15:58+00:00

e824d429363262a9ff9db117282fe15289b5ab59

Not very optimized though (if we apply convert_hyp on any hyp, a new
evar will be generated for every different hyp...).





Not very optimized though (if we apply convert_hyp on any hyp, a new
evar will be generated for every different hyp...).







Discontinued xml plugin: improve the README.
2014-09-12T08:17:22+00:00

Arnaud Spiwack

2014-09-12T08:08:11+00:00

adaed81659c0461bc6f697268fd6f79ab46db7ae

More information, less pmp.




More information, less pmp.






Removing the XML plugin.
2014-09-08T16:46:25+00:00

Pierre-Marie Pédrot

2014-09-08T16:34:04+00:00

7cfe0a70eda671ada6a46cd779ef9308f7e0fdb9

Left a README, just in case someone will discover the remnants of it
decades from now.





Left a README, just in case someone will discover the remnants of it
decades from now.







Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs
2009-03-20T01:22:58+00:00

letouzey

2009-03-20T01:22:58+00:00

7d220f8b61649646692983872626d6a8042446a9

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7