The Coq mailing list

[Anne Pacalet <anne.pacalet AT sophia.inria.fr>]

Adam Koprowski a écrit :
>   I on the other hand would be quite interested in dependency graphs but the
> links at: http://www-sop.inria.fr/lemme/coq-graphs/ do not work. Any ideas?

I think that this tool worked for a quite old version of coq.
I am trying to do it for the current version right now,
but it is in a quite preliminary stage...
Hope to have some time to work on it during summer,
and I'll let you know.

Cheers,
--
Anne.