The Coq mailing list

[Benedikt.AHRENS AT unice.fr]

Hello,

I have a question concerning the XML output function of Coq:

I'd like to have a local copy of the Coq standard library in XML. Is 
there a quick way to get this? For example, can I create the XML library 
already when compiling Coq, by patching the make file ?

When trying coqc -xml on some theory file of Coq's standard library 
(here Datatypes.v), I get the error "Name Coq.Init starts with prefix 
"Coq" which is reserved for the Coq library". Since the Coq library is 
precisely what I want, how can I proceed here ?

Greetings
ben