The Coq mailing list

[S�bastien Hinderer <Sebastien.Hinderer AT ens-lyon.fr>]

Hi dear listers,

This mail is especially addressed to Coq developers.

I would be interested in writing a tool (or patching an existing one, I
don't know), that, given a .v file, would return the list of all the files
produced by the calls to Extraction tactic from within this file.

So, my questions are :

1. Are you interested in such a functioality ?

2. Should I try to write it ?

3. What would be the most convenient way to do so (i.e., which tool to
patch? coqdep?) ? 

Thanks,
Sébastien.